May 102011
 

Bio-PEPA Workbench 1.0

:: DESCRIPTION

Bio-PEPA is a language for the modelling and the analysis of biochemical networks.It is based on PEPA, a process algebra originally defined for the performance analysis of computer systems, and extends it in order to handle some features of biochemical networks, such as stoichiometry and different kinds of kinetic laws. A main feature of Bio-PEPA is the possibility to support different kinds of analysis, including stochastic simulation, analysis based on ordinary differential equations (ODEs) and model checking in PRISM.

Bio-PEPA Workbench is an implementation of Bio-PEPA which allows modellers to write models in the Bio-PEPA language and to animate them using stochastic simulation.

::DEVELOPER

Stephen Gilmore , The Centre for Systems Biology at Edinburgh

:: SCREENSHOTS

N/A

:: REQUIREMENTS

:: DOWNLOAD

Bio-PEPA Workbench

:: MORE INFORMATION

Citation

F. Ciocchetta and J. Hillston.
Bio-PEPA: a Framework for the Modelling and Analysis of Biochemical Networks.
Theoretical Computer Science 410 (33-34), pp. 3065-3084, 2009.

419 views

Sorry, the comment form is closed at this time.