Model validation of biological pathways using Petri nets - demonstrated for apoptosis
Model validation of biological pathways using Petri nets - demonstrated for apoptosis
复制标题
DOI：
10.1016/j.biosystems.2004.03.003
复制
发表时间：
2004-07-01
期刊：
影响因子：
1.6
通讯作者：
Will, R
中科院分区：
文献类型：
--
作者：
Heiner, M;Koch, I;Will, R
本文论证了一种新的集成方法的第一步，即利用成熟的PETRI网技术以系统的方式开发和分析生物通路模型。整个方法包括逐步建模、动画、模型验证以及行为预测的定性和定量分析。在这篇文章中，第一个阶段是如何建立和验证一个定性的模型，然后可以扩展到一个定量的模型。本文使用的例子是细胞凋亡，即遗传程序性细胞死亡。对于大多数后生动物来说，细胞凋亡是正常生理的重要组成部分。细胞凋亡过程的紊乱可能会导致几种疾病。细胞凋亡的信号转导途径包括高度复杂的控制和执行细胞程序性死亡的机制。本文解释了如何使用定性的Petri网对这条路径进行建模和验证。这些结果提供了一个数学上独特和有效的模型，使得能够确认已知的性质以及对这一途径的新见解。(C)2004爱思唯尔爱尔兰有限公司。保留所有权利。
This paper demonstrates the first steps of a new integrating methodology to develop and analyse models of biological pathways in a systematic manner using well established Petri net technologies. The whole approach comprises step-wise modelling, animation, model validation as well as qualitative and quantitative analysis for behaviour prediction. In this paper, the first phase is addressed how to develop and validate a qualitative model, which might be extended afterwards to a quantitative model.The example used in this paper is devoted to apoptosis, the genetically programmed cell death. Apoptosis is an essential part of normal physiology for most metazoan species. Disturbances in the apoptotic process could lead to several diseases. The signal transduction pathway of apoptosis includes highly complex mechanisms to control and execute programmed cell death. This paper explains how to model and validate this pathway using qualitative Petri nets. The results provide a mathematically unique and valid model enabling the confirmation of known properties as well as new insights in this pathway. (C) 2004 Elsevier Ireland Ltd. All rights reserved.