Modelling epigenetic information maintenance a Kappa tutorial

Jean Krivine (1) , Vincent Danos (2) , Arndt Benecke (3)

1 PPS - Preuves, Programmes et Systèmes
2 School of Informatics [Edimbourg]
3 IHES - Institut des Hautes Études Scientifiques

The purpose of this tutorial is to explain and illustrate an approach to the quantitative modelling of molecular interaction networks which departs from the usual notion of (bio-) chemical reaction. This tutorial is self-contained and supposes no familiarity with molecular biology. We shall use a modelling language called Kappa but much of what we will present equally applies to the larger family of rule-based modelling frameworks -and in particular to the BNG language.

Domaines: Bio-informatique [q-bio.QM]; Bio-Informatique, Biologie Systémique [q-bio.QM]; Calcul formel [cs.SC]

Jean Krivine, Vincent Danos, Arndt Benecke. Modelling epigenetic information maintenance a Kappa tutorial. Computer Aided Verification, 2009, Grenoble, France. pp.17-32. ⟨hal-00692430⟩