Most Permissive

This semantics introduces intermediate states that can be interpreted as both active and inactive.

This updating is non-deterministic: each state can have a huge number of successors it is not suitable for state transition graphs.

Reconciling qualitative, abstract, and scalable modeling of biological networks. L. Paulevé, J. Kolčák, T. Chatain, S. Haar. Nature Communications 11 (2020).