||Oct 26, 2018
Senior Researcher and Head of MExICo team, INRIA Saclay center, France
Let's have a new update on Boolean Networks !
The usual update modes of 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; the attached poster may serve as a first illustration.
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);
– attractors are hypercubes, and deciding the existence of attractors
with a given upper-bounded dimension is in NP (instead of PSPACE
In shourt, the most permissive semantics of BNs enables a correct
abstract reasoning on dynamics of BNs, with a greater tractability than
previously introduced update modes.
The talk will also present connection with Petri net models, and which
advances are enabled using this bridge.