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

Author

Zhou, MengChu

Author_Institution

Dept. of Electr. & Comput. Eng., New Jersey Inst. of Technol., Newark, NJ, USA

fYear

1992

Firstpage

255

Lastpage

260

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer-Aided Control System Design, 1992. (CACSD), 1992 IEEE Symposium on

Conference_Location

Napa, CA

Type

conf

DOI

10.1109/CACSD.1992.274423

Filename

274423