Reduction of Boolean network models

Boolean networks have been successfully used in modelling gene regulatory networks. However, for large networks, analysis by simulation becomes unfeasible. In this paper we propose a reduction method for Boolean networks that decreases the size of the network, while preserving important dynamical properties and topological features. As a result, the reduced network can be used to infer properties about the original network and to gain a better understanding of the role of network topology on the dynamics. In particular, we use the reduction method to study steady states of Boolean networks and apply our results to models of Th-lymphocyte differentiation and the lac operon.