Computer-aided modeling, analysis, and design of discrete event systems using Petri nets
- 2 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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 Author(s) MengChu Zhou Dept. of Electr. & Comput. Eng., New Jersey Inst. of Technol., Newark, NJ, USAKeywords
This publication has 15 references indexed in Scilit:
- Implementation of a Petri net controller for a machining workstationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Automated generation and evaluation of control programs for discrete manufacturing processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Construction of Petri net based mathematical models of an FMS cellPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A moment generating function based approach for evaluating extended stochastic Petri NetsIEEE Transactions on Automatic Control, 1993
- Modeling and Performance Analysis of a Flexible PCB Assembly Station Using Petri NetsJournal of Electronic Packaging, 1991
- Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resourcesIEEE Transactions on Robotics and Automation, 1991
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Finitely recursive process models for discrete event systemsIEEE Transactions on Automatic Control, 1988
- A Generalized Timed Petri Net Model for Performance AnalysisIEEE Transactions on Software Engineering, 1987
- Design of integrated manufacturing system control softwareIEEE Transactions on Systems, Man, and Cybernetics, 1987