Modeling Multi-Valued Genetic Regulatory Networks Using High-Level Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Modeling Multi-Valued Genetic Regulatory Networks Using High-Level Petri Nets

Résumé

Regulatory networks are at the core of all biological functions from bio-chemical pathways to gene regulation and cell communication processes. Because of the complexity of the interweaving retroactions, the overall behavior is difficult to grasp and the development of formal methods is needed in order to confront the supposed properties of the biological system to the model. We revisit here the tremendous work of R. Thomas and show that its binary and also its multi-valued approach can be expressed in a unified way with high-level Petri nets. A compact modeling of genetic networks is proposed in which the tokens represent gene's expression levels and their dynamical behavior depends on a certain number of biological parameters. This allows us to take advantage of techniques and tools in the field of high-level Petri nets. A developed prototype allows a biologist to verify systematically the coherence of the system under various hypotheses. These hypotheses are translated into temporal logic formulae and the model-checking techniques are used to retain only the models whose behavior is coherent with the biological knowledge.
Fichier principal
Vignette du fichier
confICATPN2005.pdf (223.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00342065 , version 1 (18-07-2009)

Identifiants

Citer

Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu. Modeling Multi-Valued Genetic Regulatory Networks Using High-Level Petri Nets. Proceedings of the International Conference on Applications and Theory of Petri Nets, 2005, United States. pp.208--227, ⟨10.1007/11494744_13⟩. ⟨hal-00342065⟩
68 Consultations
149 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More