Design and Development of Software Tools for Bio-PEPA

Adam Duguid, Stephen Gilmore, Maria Guerriero, Jane Hillston, Laurence Loewe

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


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.
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

Fingerprint Dive into the research topics of 'Design and Development of Software Tools for Bio-PEPA'. Together they form a unique fingerprint.

Cite this