Informatics Report Series


Report   

EDI-INF-RR-1231


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:Bio-PEPA: a framework for the modelling and analysis of biological systems
Authors: Federica Ciocchetta ; Jane Hillston
Date: 2008
Publication Title:Theoretical Computer Science
Publication Type:Other Publication Status:Other
Abstract:
In this work we present Bio-PEPA, a process algebra for the modelling and the analysis of biochemical networks. It is a modification of PEPA, originally defined for the performance analysis of computer systems, in order to handle some features of biological models, such as stoichiometry and the use of general kinetic laws. The domain of application is the one of biochemical networks. Bio-PEPA may be seen as an intermediate, formal, compositional representation of biological systems, on which different kinds of analysis can be carried out. Bio-PEPA is enriched with some notions of equivalence. Specifically, the isomorphism and strong bisimulation for PEPA have been considered. Finally, we show the translation of three biological models into the new language and we report some analysis results.
Copyright:
2008 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
@Misc{EDI-INF-RR-1231,
author = { Federica Ciocchetta and Jane Hillston },
title = {Bio-PEPA: a framework for the modelling and analysis of biological systems},
year = 2008,
note = {Theoretical Computer Science},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh