Concretizing the Process Hitting into Biological Regulatory Networks - Archive ouverte HAL Access content directly
Conference Papers Lecture Notes in Computer Science Year : 2012

Concretizing the Process Hitting into Biological Regulatory Networks

Maxime Folschette
Connectez-vous pour contacter l'auteur
Katsumi Inoue
Morgan Magnin
Olivier Roux
  • Function : Author

Abstract

The Process Hitting (PH) is a recently introduced framework to model concurrent processes. Its major originality lies in a specific restriction on the causality of actions, which makes the formal analysis of very large systems tractable. PH is suitable to model Biological Regulatory Networks (BRNs) with complete or partial knowledge of cooperations between regulators by defining the most permissive dynamics with respect to these constraints. On the other hand, the qualitative modeling of BRNs has been widely addressed using René Thomas' formalism, leading to numerous theoretical work and practical tools to understand emerging behaviors. Given a PH model of a BRN, we first tackle the inference of the underlying Interaction Graph between components. Then the inference of corresponding Thomas' models is provided using Answer Set Programming, which allows notably an efficient enumeration of (possibly numerous) compatible parametrizations. In addition to giving a formal link between different approaches for qualitative BRNs modeling, this work emphasizes the ability of PH to deal with large BRNs with incomplete knowledge on cooperations, where Thomas' approach fails because of the combinatorics of parameters.
Fichier principal
Vignette du fichier
Folschette-Pauleve-Inoue-Magnin-Roux-CMSB12.pdf (587.26 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00704569 , version 1 (05-06-2012)
hal-00704569 , version 2 (14-10-2013)

Identifiers

Cite

Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier Roux. Concretizing the Process Hitting into Biological Regulatory Networks. Computational Methods in Systems Biology, Oct 2012, London, United Kingdom. p. 166-186, ⟨10.1007/978-3-642-33636-2_11⟩. ⟨hal-00704569v2⟩
987 View
326 Download

Altmetric

Share

Gmail Facebook X LinkedIn More