Most Permissive Semantics of Boolean Networks

Thomas Chatain 1 Stefan Haar 1 Loïc Paulevé 2
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
2 BioInfo - LRI - Bioinformatique (LRI)
LRI - Laboratoire de Recherche en Informatique
Abstract : As shown in [3], the usual update modes of Boolean networks (BNs), including synchronous and (generalized) asynchronous, fail to capture behaviours introduced by multivalued refinements. Thus, update modes do not allow a correct abstract reasoning on dynamics of biological systems, as they may lead to reject valid BN models. We introduce a new semantics for interpreting BNs which meets with a correct abstraction of any multivalued refinements, with any update mode. This semantics subsumes all the usual updating modes, while enabling new behaviours achievable by more concrete models. Moreover, it appears that classical dynamical analyses of reachability and attractors have a simpler computational complexity: – reachability can be assessed in a polynomial number of iterations (instead of being PSPACE-complete with update modes); – attractors are hypercubes, and deciding the existence of attractors with a given upper-bounded dimension is in NP (instead of PSPACE-complete with update modes). The computation of iterations is in NP in the very general case, and is linear when local functions are monotonic, or with some usual representations of functions of BNs (binary decision diagrams, Petri nets, automata networks, etc.). In brief, the most permissive semantics of BNs enables a correct abstract reasoning on dynamics of BNs, with a greater tractability than previously introduced update modes. This technical report lists the main definitions and properties of the most permissive semantics of BNs, and draw some remaining open questions.
Liste complète des métadonnées

Cited literature [5 references]  Display  Hide  Download
Contributor : Loïc Paulevé <>
Submitted on : Thursday, August 30, 2018 - 1:43:36 PM
Last modification on : Saturday, September 1, 2018 - 1:08:45 AM


Files produced by the author(s)


  • HAL Id : hal-01864693, version 1
  • ARXIV : 1808.10240


Thomas Chatain, Stefan Haar, Loïc Paulevé. Most Permissive Semantics of Boolean Networks. [Research Report] LRI, Univ. Paris-Sud, CNRS, Inria, Université Paris-Saclay; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France). 2018. ⟨hal-01864693⟩



Record views


Files downloads