Case studies

Some case studies for Bio-PEPA are listed below. Other models will be added soon.

• Goldbeter's model describing the oscillation of cyclin in the cell cycle. For the translation of this model into Bio-PEPA and some analysis results see the technical report for Bio-PEPA.

• The repressilator, a synthetic genetic network involving three genes and the respective proteins, with negative feedback loop. For details see the technical report for Bio-PEPA.

• A simple genetic network, with a negative feedback loop. For details see the technical report. For details see the technical report for Bio-PEPA.

• Edelstein's model for the acethylcholine receptor (with events). For details see the paper presented at the Workshop Computational Models for Cell Processes.

• Model for complex intracellalurar calcium oscillations (by Goldbeter and co-authors). In this model we consider the Bio-PEPA with locations defined in the paper presented at the workshop MeCBIC 2008.

• The MAPK model, for details see here

• ...