In this work we present Bio-PEPA, a process algebra for the modelling and the analysis of biochemical networks. It is a modiﬁcation of PEPA, originally deﬁned for the performanceanalysis of computer systems, in order to handle some features of biological models, suchas stoichiometry and the use of general kinetic laws. Bio-PEPA may be seen as an intermediate, formal, compositional representation of biological systems, on which different kindsof analysis can be carried out. Bio-PEPA is enriched with some notions of equivalence.Speciﬁcally, the isomorphism and strong bisimulation for PEPA have been considered andextended to our language. Finally, we show the translation of a biological model into thenew language and we report some analysis results.
Keywords for this software
References in zbMATH (referenced in 104 articles , 1 standard article )
Showing results 101 to 104 of 104.
- Ciocchetta, Federica; Guerriero, Maria Luisa: Modelling biological compartments in Bio-PEPA (2008) ioport
- Ciocchetta, Federica; Hillston, Jane: Bio-PEPA: an extension of the process algebra PEPA for biochemical networks (2008)
- Credi, A.; Garavelli, M.; Laneve, C.; Pradalier, S.; Silvi, S.; Zavattaro, G.: nano(\kappa): A calculus for the modeling and simulation of nano devices (2008)
- Galpin, Vashti; Hillston, Jane; Bortolussi, Luca: HYPE applied to the modelling of hybrid biological systems (2008)
Further publications can be found at: http://homepages.inf.ed.ac.uk/jeh/Bio-PEPA/References.html