  First, the topological structure of a transition system is studied. Then, two
types of transition system (TS) representations of Boolean networks (BNs) and
Boolean control networks (BCNs) are investigated. The first kind of
representation is state-based, which converts a BCN into a TS with either
distinct control or non-distinct control. The second representation is
output-based, which is also called the simulation of the original BCN. Some
applications are also studied.
