Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

Federica Ciocchetta, Jane Hillston

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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.
Original languageEnglish
Pages (from-to)103-117
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Issue number3
Publication statusPublished - 1 Jan 2008

Keywords / Materials (for Non-textual outputs)

  • Systems Biology
  • biochemical pathways
  • process algebras


Dive into the research topics of 'Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks'. Together they form a unique fingerprint.

Cite this