ABSTRACT
Abstract Discrete event modeling techniques such as Automata and Petri nets are of
ten used to describe systems, whose underlying continuous aspects do not play a significant role in determining their behavior. These modeling techniques for Dis crete-Event Systems (DES) usually result in abstract models with large number of states where every system state is considered to change instantaneously with the occurrence of certain events. The largeness of the state-space together with spe cific discrete-event phenomena, such as deadlocks, often limit the applicability of formal DES controller design methodologies for industrial applications.
