Reduction of logical models of regulatory networks yields insight into dynamical properties

The logical formalism is a convenient framework to qualitatively model regulatory networks for which detailed quantitative information is barely available. In this discrete framework, network behaviours are usually represented by means of state transition graphs. However, as network sizes increase, state transition graphs often become too large to be effectively constructed, let alone analysed.