A Boolean Model for a Class of Discrete Event Systems

A Boolean matrix equation model is obtained for a class of discrete event systems in which the state change associated with each event occurrence is deterministic, and in which all entities are permanent. The Boolean matrix equations are quite compact and can be efficiently programmed on a digital computer. A conveyor system is used as an example. The model can be investigated for determinacy, zero states, and cycles. Algorithms are presented that determine whether transient events interact, and whether transient cycles exist. The zero states of a model are shown to be solutions of a simple Boolean matrix equation.