Concurrency in Boolean networks

Thomas Chatain 1 Stefan Haar 2 Juraj Kolčák 2 Loïc Paulevé 3 Aalok Thakkar 4
2 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
3 BioInfo - LRI - Bioinformatique (LRI)
LRI - Laboratoire de Recherche en Informatique
Abstract : Boolean networks (BNs) are widely used to model the qualitative dynamics of biological systems. Besides the logical rules determining the evolution of each component with respect to the state of its regulators, the scheduling of component updates can have a dramatic impact on the predicted behaviours. In this paper, we explore the use of Read (contextual) Petri Nets (RPNs) to study dynamics of BNs from a concurrency theory perspective. After showing bi-directional translations between RPNs and BNs and analogies between results on synchronism sensitivity, we illustrate that usual updating modes for BNs can miss plausible behaviours, i.e., incorrectly conclude on the absence/impossibility of reaching specific configurations. We propose an encoding of BNs capitalizing on the RPN semantics enabling more behaviour than the generalized asynchronous updating mode. The proposed encoding ensures a correct abstraction of any multivalued refinement, as one may expect to achieve when modelling biological systems with no assumption on its time features.
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01893106
Contributor : Loïc Paulevé <>
Submitted on : Friday, May 31, 2019 - 11:12:23 AM
Last modification on : Wednesday, June 5, 2019 - 1:17:44 AM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Thomas Chatain, Stefan Haar, Juraj Kolčák, Loïc Paulevé, Aalok Thakkar. Concurrency in Boolean networks. Natural Computing, Springer Verlag, 2019, ⟨10.1007/s11047-019-09748-4⟩. ⟨hal-01893106v2⟩

Share

Metrics

Record views

31

Files downloads

240