Related Experiment Video
Updated: May 21, 2025

Setting Limits on Supersymmetry Using Simplified Models
Published on: November 15, 2013
Refining Boolean models with the partial most permissive scheme
Nadine Ben Boina1,2, Brigitte Mossé1, Anaïs Baudot2,3,4
1Aix Marseille Univ, CNRS, I2M (UMR 7373), Turing Center for Living systems, Marseille, France.
Motivation:
In systems biology, modeling strategies aim to decode how molecular components interact to generate dynamical behavior. Boolean modeling is more and more used, but the description of the dynamics generated by discrete variables with only two values may be too limited to capture certain dynamical properties. Multivalued logical models can overcome this limitation by allowing more than two levels for each component. However, multivaluing a Boolean model is challenging.
Results:
We present MRBM, a method for efficiently identifying the components of a Boolean model to be multivalued in order to capture specific fixed-point reachabilities in the asynchronous dynamics. To this goal, we defined a new updating scheme locating reachability properties in the most permissive dynamics. MRBM is supported by mathematical demonstrations and illustrated on a toy model and on two models of stem cell differentiation.
Availability And Implementation:
The MRBM method and the BMs used in this article are available on GitHub at: https://github.com/NdnBnBn/MRBM, and archived in Zenodo (doi: 10.5281/ZENODO.14979798).
Related Concept Videos
Woodward–Hoffmann Selection Rules and Microscopic Reversibility
Constraints and Statical Determinacy
Clearance Models: Compartment Models
Modeling and Similitude
Block Diagram Reduction
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
Principle of Equivalence

