Skip to main content

Integrated Analysis from Abstract Stochastic Process Algebra Models

Jane Hillston
Bio-PEPA is a novel stochastic process algebra which has been recently
developed for modelling biological pathways.  In Bio-PEPA a reagent-centric 
style of modelling is adopted, and a variety of different analysis techniques 
can be applied to a single model expression.  Such an approach facilitates 
easy validation of analysis results when the analyses address the same issues 
and enhanced insight when the analyses are complementary.  
Currently supported analysis techniques include stochastic simulation at the 
molecular level, ordinary differential equations, probabilistic model checking 
and numerical analysis of a continuous time Markov chain using PRISM.
This talk will introduce the Bio-PEPA formalism and discuss the mapping
to the different analysis techniques.

Share this: