首页/数据集/The place invariants for the TNFR1 model in Table 1 in [1].

The place invariants for the TNFR1 model in Table 1 in [1].

Figshare2025-04-22 更新2026-04-28 收录

生物网络建模

Petri网分析

数据链接：

https://figshare.com/articles/dataset/The_place_invariants_for_the_TNFR1_model_in_Table_1_in_1_/29528715 数据链接链接失效反馈

官方服务：

资源简介：

The place invariants for the TNFR1 model in Table 1 in [1].

应用场景：

创建时间：

2025-04-22

生物网络建模

昼夜节律

Additional file 3. CellDesigner map of the circadian clock. This map is provided under the CellDesigner format (extended SBML) and can be visualized using CellDesigner

Mendeley Data2024-06-25 更新90

GO:0002756 (MyD88-independent toll-like receptor signaling pathway)

免疫信号通路

生物网络建模

This network was assembled automatically by INDRA (http://indra.bio) by processing all available biomedical literature with multiple machine reading systems, and integrating curated pathway databases.

NIAID Data Ecosystem20

GO:0034143 (regulation of toll-like receptor 4 signaling pathway)

免疫信号通路

生物网络建模

NIAID Data Ecosystem10

Benchmark Instances for Reachability and Coverability in Petri Nets

形式化验证

Petri网分析

This data set contains a set of benchmark instances for Petri net reachability and coverability, which were used to evaluate the TACAS'21 submission "Directed Reachability for Infinite-State Systems"

Figshare2021-03-05 更新20

Additional file 7 of Logical modelling reveals the PDC-PDK interaction as the regulatory switch driving metabolic flexibility at the cellular level

细胞代谢调控

生物网络建模

Cytoscape session file of the HTGs of Models 1, 2, 3 and 4 (CYS 82.4 kb).

Figshare2019-09-10 更新20