2000 character limit reached
Transition System Representation of Boolean Control Networks (2304.11353v1)
Published 22 Apr 2023 in eess.SY and cs.SY
Abstract: 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.