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

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.<<ETX>>

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  C. Wongtaladkown,et al.  A real-time Petri nets simulator for automated manufacturing systems , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

[3]  MengChu Zhou,et al.  Control of a Flexible Manufacturing System Using Petri Nets , 1990 .

[4]  Jr. Mikell P. Groover.  Automation, production systems, and computer-aided manufacturing , 1980 .

[5]  Pravin Varaiya,et al.  Finitely recursive process models for discrete event systems , 1988 .

[6]  M.C. Zhou,et al.  Construction of Petri net based mathematical models of an FMS cell , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[7]  MengChu Zhou,et al.  A moment generating function based approach for evaluating extended stochastic Petri Nets , 1993 .

[8]  J. Kopainsky,et al.  Principles and engineering of process control with Petri nets , 1988 .

[9]  Frank DiCesare,et al.  Implementation of a Petri net controller for a machining workstation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[10]  Ming C. Leu,et al.  Modeling and Performance Analysis of a Flexible PCB Assembly Station Using Petri Nets , 1991 .

[11]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[12]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[13]  MengChu Zhou,et al.  Adaptive design of Petri net controllers for error recovery in automated manufacturing systems , 1989, IEEE Trans. Syst. Man Cybern..

[14]  Bruce H. Krogh,et al.  Automated generation and evaluation of control programs for discrete manufacturing processes , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[15]  W. M. Wonham.  A control theory for discrete-event systems , 1988 .

[16]  Yu-Chi Ho,et al.  Performance evaluation and perturbation analysis of discrete event dynamic systems , 1987 .

[17]  Carolyn L. Beck,et al.  Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems , 1987 .

[18]  R. A. Volz,et al.  Design of integrated manufacturing system control software , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[19]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[20]  Kurt Jensen,et al.  Petri Net Tool Overview 1986 , 1986, Advances in Petri Nets.