Edinburgh Research Explorer

Design and Development of Software Tools for Bio-PEPA

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions



Original languageEnglish
Title of host publicationProceedings of the Winter Simulation Conference 2009
Number of pages12
ISBN (Electronic)978-1-4244-5771-7
ISBN (Print)978-1-4244-5770-0
Publication statusPublished - 2009


This paper surveys the design of software tools for the Bio-PEPA process algebra. Bio-PEPA is a high-level language for modelling biological systems such as metabolic pathways and other biochemical reaction networks. Through providing tools for this modelling language we hope to allow easier use of a range of simulators and model-checkers thereby freeing the modeller from the responsibility of developing a custom simulator for the problem of interest. Further, by providing mappings to a range of different analysis tools the Bio-PEPA language allows modellers to compare analysis results which have been computed using independent numerical analysers, which enhances the reliability and robustness of the results computed.

Download statistics

No data available

ID: 12308260