The Bio-PEPA Tool Suite

Bio-PEPA is a timed process algebra designedspecifically for the description of biological phenomena and theiranalysis through quantitative methods such asstochastic simulation and probabilistic model-checking.Two software tools are available for modelling with Bio-PEPA, theBio-PEPA Workbench and the Bio-PEPA Eclipse Plugin. The Bio-PEPAWorkbench is the research prototype tool which allows us to try outnew language features and new types of analysis through rapidprototyping. The Bio-PEPA Eclipse Plugin is a polished modellingenvironment which targets end-users who wish to do Bio-PEPA modellingsupported by a comprehensive integrated development environment. Bothmodelling tools allow the user to analyse their model both in thediscrete stochastic regime and in the sure continuous regime whilemaintaining only a single source in the Bio-PEPA language.