A mathematical formulation for a class of discrete event systems
Robert L. Aveyard · 1974
In this paper a discrete event system is a dynamical system in which the term event is used to describe the occurrence of a discontinuous change in the elements of the system at a point in time. Events occur at discrete intervals of time, which are not necessarily uniformly separated, and logical relationships govern the discontinuous changes when events occur. The state space is restricted to being discrete and finite.