About

The Bio-PEPA Workbench is a modelling and analysis tool for models of reaction networks expressed in the Bio-PEPA process algebra.

Given a Bio-PEPA model the Workbench generates a simulation model ready for execution using the StochKit implementation of Gillespie's Stochastic Simulation Algorithm (SSA). It additionally generates a Markov chain model suitable for analysing with PRISM and an ODE model suitable for analysis with the Sundials ODE suite or Matlab.

Thus the tool enables the modeller to switch between analysis via simulation or model-checking and analysis via differential equations while maintaining only a single source model in the Bio-PEPA language.