The Bio-PEPA Tool Suite

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.