Concretizing the Process Hitting into Biological Regulatory Networks - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2012

Concretizing the Process Hitting into Biological Regulatory Networks

Maxime Folschette
Katsumi Inoue
Morgan Magnin
Olivier Roux
  • Fonction : Auteur

Résumé

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
main.pdf (248.49 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-00704569 , version 1

Citer

Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier Roux. Concretizing the Process Hitting into Biological Regulatory Networks. 2012. ⟨hal-00704569v1⟩

Collections

IRCCYN-MEFORBIO
1030 Consultations
356 Téléchargements

Partager

More