Case studies
Some case studies for Bio-PEPA are listed in the following. 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, involving the transcription of a gene into a protein and a negative feedback loop by means of the protein in dimer form. 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 coauthors). In this model we consider the Bio-PEPA with locations defined in the paper presented at the workshop MeCBIC 2008.
- ...