Process Models for Discrete Event Systems
Pravin P. Varaiya · Birkhäuser Boston eBooks · 1990
Discrete event systems have inputs and outputs that take on logical or symbolic values, and states that change due to events which are also described symbolically. Such descriptions occur in several situations, including communication networks, manufacturing, and computer-based control. Formally, their behavior is given in terms of sequences of events that unfold in logical time. Mathematical models of such behavior are finite descriptions of these sequences. We review one approach to the construction of such models. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.