Skip to Main content Skip to Navigation
Journal articles

Reconciling Qualitative, Abstract, and Scalable Modeling of Biological Networks

Loïc Paulevé 1, 2 Juraj Kolčák 3 Thomas Chatain 3 Stefan Haar 3 
2 BioInfo - LRI - Bioinformatique (LRI)
LRI - Laboratoire de Recherche en Informatique
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
Inria Saclay - Ile de France, LSV - Laboratoire Spécification et Vérification
Abstract : Predicting biological systems’ behaviors requires taking into account many molecular and genetic elements for which limited information is available past a global knowledge of their pairwise interactions. Logical modeling, notably with Boolean Networks (BNs), is a well-established approach that enables reasoning on the qualitative dynamics of networks. Several dynamical interpretations of BNs have been proposed. The synchronous and (fully) asynchronous ones are the most prominent, where the value of either all or only one component can change at each step. Here we prove that, besides being costly to analyze, these usual interpretations can preclude the prediction of certain behaviors observed in quantitative systems. We introduce an execution paradigm, the Most Permissive Boolean Networks (MPBNs), which offers the formal guarantee not to miss any behavior achievable by a quantitative model following the same logic. Moreover, MPBNs significantly reduce the complexity of dynamical analysis, enabling to model genome-scale networks.
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Loïc Paulevé Connect in order to contact the contributor
Submitted on : Wednesday, September 23, 2020 - 3:15:28 PM
Last modification on : Friday, August 5, 2022 - 2:58:08 PM


Publisher files allowed on an open archive



Loïc Paulevé, Juraj Kolčák, Thomas Chatain, Stefan Haar. Reconciling Qualitative, Abstract, and Scalable Modeling of Biological Networks. Nature Communications, Nature Publishing Group, 2020, 11, ⟨10.1038/s41467-020-18112-5⟩. ⟨hal-02518582v2⟩



Record views


Files downloads