Title :
Computer-aided modeling, analysis, and design of discrete event systems using Petri nets
Author_Institution :
Dept. of Electr. & Comput. Eng., New Jersey Inst. of Technol., Newark, NJ, USA
Abstract :
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
Keywords :
Markov processes; Petri nets; control system CAD; control system analysis computing; discrete time systems; software packages; transfer functions; CAD packages; Markov processes; Petri net graphic editor; Petri nets; behavior analyzer; computer-aided design; discrete event control; discrete event systems; dynamic graphical display; performance evaluator; reachability-graph generation; supervisory control program generator; transfer functions; Computer graphics; Control systems; Design automation; Discrete event systems; Markov processes; Packaging; Performance analysis; Petri nets; Power generation; Power system modeling;
Conference_Titel :
Computer-Aided Control System Design, 1992. (CACSD), 1992 IEEE Symposium on
Conference_Location :
Napa, CA
DOI :
10.1109/CACSD.1992.274423
