Refining Boolean models with the partial most permissive scheme.

ABSTRACT:

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

SUBMITTER: Ben Boina N 

PROVIDER: S-EPMC12021794 | biostudies-literature | 2025 Mar

REPOSITORIES: biostudies-literature