Projects per year
Abstract
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 language | English |
---|---|
Title of host publication | Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 309-310 |
Number of pages | 2 |
ISBN (Print) | 978-0-7695-3808-2 |
DOIs | |
Publication status | Published - 2009 |
Fingerprint
Dive into the research topics of 'The Bio-PEPA Tool Suite'. Together they form a unique fingerprint.Projects
- 3 Finished
-
SIGNAL: SIGNAL -Stochastic process algebra for biochemical signaling pathway analysis
1/09/07 → 31/01/11
Project: Research
-
SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh
Millar, A., Beggs, J., Ghazal, P., Goryanin, I., Hillston, J., Plotkin, G., Tollervey, D., Walton, A. & Robertson, K.
8/01/07 → 31/12/12
Project: Research
-