Canonical Form of Boolean Networks

Based on the algebraic state space representation of logical dynamic systems, a canonical form of Boolean networks is proposed. This form reveals the topological structure of Boolean networks. Two numerical algorithms are proposed. One is used for small networks and the other one is used for large scale networks. Some numerical examples are presented to demonstrate the normal form and the algorithms.