Computer-aided modeling, analysis, and design of discrete event systems using Petri nets

The use of Petri nets for computer-aided design and analysis of discrete-event systems (DES) on the discrete event control level is described. Several CAD packages devoted to different aspects of DES in different environments are described. They include a powerful and user-friendly Petri net graphic editor, a behavior analyzer based on reachability-graph generation or reduction, a performance evaluator based on Markov processes and transfer functions, a simulator of Petri nets using dynamic graphical display, and a supervisory control program generator.<
>