The Bio-PEPA Tool Suite

Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston

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


Bio-PEPA is a timed process algebra designed specifically for the description of biological phenomena and their analysis through quantitative methods such as stochastic simulation and probabilistic model-checking. Two software tools are available for modelling with Bio-PEPA, the Bio-PEPA Workbench and the Bio-PEPA Eclipse Plugin. The Bio-PEPA Workbench is the research prototype tool which allows us to try out new language features and new types of analysis through rapid prototyping. The Bio-PEPA Eclipse Plugin is a polished modelling environment which targets end-users who wish to do Bio-PEPA modelling supported by a comprehensive integrated development environment. Both modelling tools allow the user to analyse their model both in the discrete stochastic regime and in the sure continuous regime while maintaining only a single source in the Bio-PEPA language.
Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages2
ISBN (Print)978-0-7695-3808-2
Publication statusPublished - 2009


Dive into the research topics of 'The Bio-PEPA Tool Suite'. Together they form a unique fingerprint.

Cite this