Petri net models of flexible and automated manufacturing systems : a survey

Petri nets (PNs) have recently emerged as a promising approach for modelling flexible and automated manufacturing systems. PNs are a graphical and mathematical modelling technique that is useful for modelling concurrent, asynchronous, distributed, parallel, nondeterministic, and stochastic systems, as attested by a steady stream of papers which appeared throughout the 1980s. Since 1989, there has been an explosion of interest in using PNs to model, simulate, and analyse manufacturing systems. We present an overview of PN theory. We then present a schema for categorizing PN models of manufacturing systems, followed by a survey of PN models of flow lines, automatic transfer lines, job shops, flexible manufacturing systems, and assembly systems. This discussion represents the most comprehensive survey of applications of PNs to manufacturing through 1994. Finally, we present a summary and some conclusions.

[1]  Tilak Agerwala,et al.  Comments on capabilities, limitations and “correctness” of Petri nets , 1973, ISCA 1973.

[2]  S. Rao Kosaraju,et al.  Limitations of Dijkstra's Semaphore Primitives and Petri nets , 1973, SOSP '73.

[3]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[4]  P. Merlin,et al.  A Methodology for the Design and Implementation of Communication Protocols , 1976, IEEE Trans. Commun..

[5]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[6]  Stéphane Natkin,et al.  Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol , 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[7]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[8]  S. Rao Kosaraju,et al.  Decidability of reachability in vector addition systems (Preliminary Version) , 1982, STOC '82.

[9]  Michael K. Molloy Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[10]  Didier Dubois,et al.  Using Petri nets to represent production processes , 1983, The 22nd IEEE Conference on Decision and Control.

[11]  Ernst W. Mayr An Algorithm for the General Petri Net Reachability Problem , 1984, SIAM J. Comput..

[12]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[13]  P. Ladet,et al.  Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing system , 1985, European Workshop on Applications and Theory in Petri Nets.

[14]  Robert Valette,et al.  PSI: A Petri net based simulator for flexible manufacturing systems , 1984, European Workshop on Applications and Theory in Petri Nets.

[15]  Giorgio Bruno,et al.  Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri Nets , 1985, PNPM.

[16]  Joël Favrel,et al.  Hierarchical reduction method for analysis and decomposition of Petri nets , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[17]  Robert Valette,et al.  Nets in Production Systems , 1986, Advances in Petri Nets.

[18]  Manjunath Kamath,et al.  Applications of petri net based models in the modelling and analysis of flexible manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[19]  Joël Favrel,et al.  Generalized Petri Net Reduction Method , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[20]  Manuel Silva Suárez,et al.  Modeling, validation and software implementation of production systems using high level Petri nets , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[21]  Manuel Silva Suárez,et al.  Petri nets and flexible manufacturing , 1988, European Workshop on Applications and Theory in Petri Nets.

[22]  Marco Ajmone Marsan,et al.  Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.

[23]  M. Zhou,et al.  A top-down approach to systematic synthesis of Petri net models for manufacturing systems , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[24]  Jean-Marie Proth,et al.  Performance evaluation of job-shop systems using timed event-graphs , 1989 .

[25]  Alan A. Desrochers Modeling and Control of Automated Manufacturing Systems , 1989 .

[26]  F. Archetti,et al.  Development analysis and simulation of Petri net models: an application to AGV systems , 1989 .

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

[28]  Alan A. Desrochers,et al.  Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets , 1990, IEEE Trans. Robotics Autom..

[29]  Anna Sciomachen,et al.  Optimal control policies for automated storage/retrieval system using PN models and stochastic optimization , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[30]  Banani Saha,et al.  Computer-based reduction technique for Petri nets , 1991 .

[31]  Tharam S. Dillon,et al.  Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[32]  Frank DiCesare,et al.  Modeling and control information flow for a CIM system using colored Petri nets , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[33]  J. P. Bourey,et al.  Hierarchical specification and validation of operating sequences in the context of FMSs , 1991 .

[34]  J.R. Watson,et al.  Applying generalized stochastic Petri nets to manufacturing systems containing nonexponential transition functions , 1991, IEEE Trans. Syst. Man Cybern..

[35]  Kishor S. Trivedi,et al.  A decomposition approach for stochastic Petri net models , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[36]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[37]  Paul Freedman,et al.  Time, Petri nets, and robotics , 1991, IEEE Trans. Robotics Autom..

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

[39]  Frank DiCesare,et al.  Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems , 1991, IEEE Trans. Syst. Man Cybern..

[40]  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.

[41]  Xiaolan Xie,et al.  A step-wise specification of a manufacturing system using Petri nets , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[42]  Xiaolan Xie,et al.  Marking Optimization In Timed Event Graphs , 1991, Applications and Theory of Petri Nets.

[43]  B. Descotes-Genon,et al.  Petri net based node structures for distributed problem solving in FMS control , 1992 .

[44]  MengChu Zhou,et al.  Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..

[45]  Gerald M. Knapp,et al.  Modeling of automated storage/retrieval systems using petri nets , 1992 .

[46]  Mohsen A. Jafari,et al.  An architecture for a shop-floor controller using colored Petri nets , 1992 .

[47]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[48]  Yadati Narahari,et al.  Performance modeling of automated manufacturing systems , 1992 .

[49]  M. C. Jothishankar,et al.  Determination of optimal number of Kanbans using stochastic petri nets , 1992 .

[50]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

[51]  James T. Lin,et al.  A modular approach for the modelling of a class of zone-control conveyor system using timed Petri nets , 1992 .

[52]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[53]  R H Weston,et al.  CIM-OSA and Stochastic Time Petri Nets for Behavioural Modelling and Model Handling in CIM Systems Design and Building , 1993 .

[54]  O. V. Krishnaiah Chetty,et al.  Design and evaluation of automated guided vehicle systems for flexible manufacturing systems: an extended timed Petri net-based approach , 1993 .

[55]  O. V. Krishnaiah Chetty,et al.  Addressing design and control issues of AGV-based FMSs with Petri net aided simulation , 1993 .

[56]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[57]  Chih-Ming Liu,et al.  Using Petri nets to solve FMS problems , 1993 .

[58]  Hsu-Pin Wang,et al.  Design and development of a stochastic high-level Petri net system for FMS performance evaluation , 1993 .

[59]  Suresh K. Khator,et al.  A Petri net approach for modelling controls of a computer-integrated assembly cell , 1993 .

[60]  John A. Buzacott,et al.  Stochastic models of manufacturing systems , 1993 .

[61]  G. Righini Modular Petri nets for simulation of flexible production systems , 1993 .

[62]  MengChu Zhou,et al.  Petri net synthesis and analysis of a flexible manufacturing system cell , 1993, IEEE Trans. Syst. Man Cybern..

[63]  V. S. Srinivasan,et al.  Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..

[64]  T. T. Narendran,et al.  On using abstract models for analysis of flexible manufacturing systems , 1994 .

[65]  Emmanuel Castelain,et al.  A method for hierarchical modeling of the command of flexible manufacturing systems , 1994, IEEE Trans. Syst. Man Cybern..

[66]  John K. Jackman,et al.  Petri net extensions for modelling and validating manufacturing systems , 1994 .

[67]  Richard Zurawski Systematic construction of functional abstractions of Petri net models of flexible manufacturing systems , 1994, IEEE Trans. Ind. Electron..

[68]  Nukala Viswanadham,et al.  Composite performance-dependability analysis of cellular manufacturing systems , 1994, IEEE Trans. Robotics Autom..

[69]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[70]  Mario van Vliet,et al.  Analytical models for FMS design optimization: A survey , 1994 .

[71]  Srini Ramaswamy,et al.  Modeling, analysis and simulation of failures in a materials handling system with extended Petri nets , 1994 .

[72]  Frank DiCesare,et al.  Integrated scheduling of flexible manufacturing systems employing automated guided vehicles , 1994, IEEE Trans. Ind. Electron..

[73]  Arthur C. Sanderson,et al.  Task decomposition and analysis of robotic assembly task plans using Petri nets , 1994, IEEE Trans. Ind. Electron..

[74]  Suresh K. Khator,et al.  A survey of Petri net applications in modeling controls for automated manufacturing systems , 1994 .

[75]  Alessandro Giua,et al.  Petri net structural analysis for supervisory control , 1994, IEEE Trans. Robotics Autom..

[76]  MengChu Zhou,et al.  Augmented timed petri nets for modeling, simulation, and analysis of robotic systems with breakdowns , 1994 .

[77]  MengChu Zhou,et al.  Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system , 1994, IEEE Trans. Ind. Electron..

[78]  Shi-Chung Chang,et al.  Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..

[79]  René David,et al.  Petri nets for modeling of dynamic systems: A survey , 1994, Autom..

[80]  Dong-Soon Yim,et al.  A Petri net-based simulation tool for the design and analysis of flexible manufacturing systems , 1994 .

[81]  Damien Trentesaux,et al.  Modelling with coloured timed Petri nets and simulation of a dynamic and distributed management system for a manufacturing cell , 1994 .

[82]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[83]  Brenan J. McCarragher Petri net modelling for robotic assembly and trajectory planning , 1994, IEEE Trans. Ind. Electron..

[84]  N. Viswanadham,et al.  Performability of automated manufacturing systems with centralized material handling , 1994 .

[85]  Li-Chen Fu,et al.  A Petri net based approach to modeling and scheduling for an FMS and a case study , 1994, IEEE Trans. Ind. Electron..

[86]  Fei-Yue Wang,et al.  Protocol design and performance analysis for manufacturing message specification: A Petri net approach , 1994, IEEE Trans. Ind. Electron..