Concretizing the Process Hitting into Biological Regulatory Networks

Maxime Folschette 1, * Loïc Paulevé 2 Katsumi Inoue 3 Morgan Magnin 4 Olivier Roux 4
* Auteur correspondant
1 MeForBio
NII - National Institute of Informatics, IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
2 AMIB - Algorithms and Models for Integrative Biology
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France
3 Inoue Laobratory
NII - National Institute of Informatics
4 MeForBio
IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
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.
Type de document :
Communication dans un congrès
Computational Methods in Systems Biology, Oct 2012, London, United Kingdom. Springer Berlin Heidelberg, p. 166-186, 2012, 〈10.1007/978-3-642-33636-2_11〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00704569
Contributeur : Maxime Folschette <>
Soumis le : lundi 14 octobre 2013 - 20:45:10
Dernière modification le : jeudi 7 février 2019 - 17:06:50
Document(s) archivé(s) le : vendredi 7 avril 2017 - 10:54:32

Fichier

Folschette-Pauleve-Inoue-Magni...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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. Springer Berlin Heidelberg, p. 166-186, 2012, 〈10.1007/978-3-642-33636-2_11〉. 〈hal-00704569v2〉

Partager

Métriques

Consultations de la notice

1162

Téléchargements de fichiers

144