| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423814 | Electronic Notes in Theoretical Computer Science | 2008 | 15 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
