Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
Author(s) -
Federica Ciocchetta,
Jane Hillston
Publication year - 2008
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2007.12.008
Subject(s) - process calculus , representation (politics) , computer science , extension (predicate logic) , process (computing) , theoretical computer science , simple (philosophy) , algebra over a field , mathematics , programming language , political science , philosophy , epistemology , politics , pure mathematics , law
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom