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.

  • ...