FORMULATION AND CONTROL OF REAL TIME DISCRETE EVENT PROCESSES Y. Brave
Michael A Heymann · 1988
A discrete event process is modelled as a controlled state machine, in the framework of Ramadge and Wonham. Their approach is extended to model a class of real-time discrete event processes by means of a special type of automaton, called a clock automaton. The clock automaton is used for describing the real time behavior of processes, controllers and real time specifications.