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

Research output: Contribution to journalConference articlepeer-review

4 Scopus citations


The trend toward automation in integrated manufacturing requires the development of CAD took for the design of discrete event systems (DES). DES represent a wide class of control systems such as automated manufacturing systems, chemical plants, and computer based systems. They consist of both discrete event control and continuous or synchronous discrete time control. While CAD tools have played a very important role in design of conventional control systems, the tools for computer modeling, analysis, and design of discrete event control systems are relatively lacking. Petri net theory and applications practised during the past three decades have led to many successful applications for various DES. This paper presents the use of Petri nets to computer-aided design and analysis of DES on the discrete event control level. Several CAD packages devoted for different aspects of DES in different environments are described. They include: 1. A powerful and user-friendly Petri net graphic editor; 2. A behavior analyzer via reachability graph generation or reduction; 3. A performance evaluator via Markov processes and transfer functions; 4. A simulator of Petri nets via dynamic graphical display and; 5. A supervisory control program generator. Future research includes improvement of the existing CAD tools and build-up of the relations between them and CAD tools for conventional control systems.

Original languageEnglish (US)
Article number274423
Pages (from-to)255-261
Number of pages7
JournalProceedings of the IEEE International Symposium on Computer-Aided Control System Design
StatePublished - 1992
Event1992 IEEE Symposium on Computer-Aided Control System Design, CACSD 1992 - Napa, United States
Duration: Mar 17 1992Mar 19 1992

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Computer Science Applications
  • Control and Optimization


Dive into the research topics of 'Computer-aided modeling, analysis, and design of discrete event systems using Petri nets'. Together they form a unique fingerprint.

Cite this