Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
复制标题
DOI：
10.1016/j.entcs.2007.12.008
复制
发表时间：
2008-01-20
影响因子：
--
通讯作者：
Hillston, Jane
中科院分区：
文献类型：
--
作者：
Ciocchetta, Federica;Hillston, Jane
在这项工作中，我们介绍了Bio-Pepa，一种用于生化网络建模和分析的进程代数。它是对PEPA的修改，以处理生物模型的一些特征，如化学计量学和通用动力学定律的使用。Bio-Pepa可以被视为生物系统的一种中间的、形式的、组成的表示，可以对其进行不同类型的分析。最后，我们展示了一个模型的表示，关于一个简单的遗传网络，用新的语言。
In this work we introduce Bio-PEPA, a process algebra for the modelling and the analysis of biochemical networks. It is a modification of PEPA to deal with some features of biological models, such as stoichiometry and the use of generic kinetic laws. Bio-PEPA may be seen as an intermediate, formal, compositional representation of biological systems, on which different kinds of analysis can be carried out. Finally, we show a representation of a model, concerning a simple genetic network, in the new language.