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

Document Type

Conference Proceeding

Publication Date

1-1-1992

Abstract

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.

Identifier

85013527952 (Scopus)

Publication Title

Proceedings of the IEEE International Symposium on Computer Aided Control System Design

External Full Text Location

https://doi.org/10.1109/CACSD.1992.274423

e-ISSN

2165302X

ISSN

21653011

First Page

255

Last Page

261

This document is currently not available here.

Share

COinS