Petri Net Based Model Validation in Systems Biology
Petri Net Based Model Validation in Systems Biology
复制标题
系统生物学中基于 Petri 网的模型验证
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
I. Koch
中科院分区：
文献类型：
--
作者：
M. Heiner;I. Koch
本文介绍了蓬勃发展的应用Petri网理论的模型验证不同类型的分子生物系统。经过简短的介绍到系统生物学，我们演示了如何开发和验证定性模型的生物途径系统的方式使用完善的Petri网分析技术的地方和变迁不变量。我们讨论的特殊属性，这是特征的生物途径，并给出了三个有代表性的案例研究，我们的模型和分析更详细。本文中使用的例子涵盖了信号转导途径以及代谢途径。
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological systems. After a short introduction into systems biology we demonstrate how to develop and validate qualitative models of biological pathways in a systematic manner using the well-established Petri net analysis technique of place and transition invariants. We discuss special properties, which are characteristic ones for biological pathways, and give three representative case studies, which we model and analyse in more detail. The examples used in this paper cover signal transduction pathways as well as metabolic pathways.
重建分子生物学。
DOI：
--
发表时间：
1991
期刊：
The New biologist
影响因子：
--
作者：
Savageau,MA
通讯作者：
Savageau,MA