Edited by Eugenio Cinquemani and Loïc Paulevé.
Reducing Boolean networks with backward equivalence
Boolean Networks (BNs) are a popular dynamical model in biology where the state of each component is represented by a variable taking binary values that express, for instance, activation/deactivation or high/l...