Attractor Equivalence: An Observational Semantics for Reaction Networks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Attractor Equivalence: An Observational Semantics for Reaction Networks

Résumé

We study observational semantics for networks of chemical reactions as used in systems biology. Reaction networks without kinetic information, as we consider, can be identified with Petri nets. We present a new observational semantics for reaction networks that we call the attractor equivalence. The main idea of the attractor equivalence is to observe reachable attractors and reachability of an attractor divergence in all possible contexts. The attractor equivalence can support powerful simplifications for reaction networks as we illustrate at the example of the Tet-On system. Alternative semantics based on bisimulations or traces, in contrast, do not support all needed simplifications.
Fichier principal
Vignette du fichier
0.pdf (2.63 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00990924 , version 1 (09-07-2015)

Identifiants

  • HAL Id : hal-00990924 , version 1

Citer

Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren. Attractor Equivalence: An Observational Semantics for Reaction Networks. First International Conference on Formal Methods in Macro-Biology, Sep 2014, Nouméa, New Caledonia. pp.82-101. ⟨hal-00990924⟩
289 Consultations
376 Téléchargements

Partager

Gmail Facebook X LinkedIn More