Petri Nets for the Design and Operation of Manufacturing Systems

Modern manufacturing systems pose a diversity of problems all along their life cycle which are often treated with particular independent formalisms and techniques. Petri nets are a family of formalisms which can be used, sometimes with advantage, for many of these problems, with the additional benefit of improving the communication between stages of the life cycle. The utilisation of Petri nets in several of these stages is illustrated and surveyed in this paper, mainly addressed to manufacturing systems engineers with a basic knowledge of Petri nets.

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

[2]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[3]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[4]  Satish K. Tripathi,et al.  Parallel and distributed simulation of discrete event systems , 1994 .

[5]  François Baccelli,et al.  Quantitative Methods in Parallel Systems , 1995, Esprit Basic Research Series.

[6]  Antti Valmari,et al.  Stubborn sets for reduced state space generation , 1991, Applications and Theory of Petri Nets.

[7]  Matteo Sereno,et al.  Computational algorithms for product form solution stochastic Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[8]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

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

[10]  Janette Cardoso,et al.  Monitoring manufacturing systems by means of Petri nets with imprecise markings , 1989, Proceedings. IEEE International Symposium on Intelligent Control 1989.

[11]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[12]  Peter G. Taylor,et al.  Embedded Processes in Stochastic Petri Nets , 1991, IEEE Trans. Software Eng..

[13]  Carla Simone,et al.  A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.

[14]  Peter Kemper.  Numerical Analysis of Superposed GSPNs , 1996, IEEE Trans. Software Eng..

[15]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

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

[17]  Haoxun Chen,et al.  Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .

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

[19]  Giovanni Chiola,et al.  Generalized stochastic Petri nets for the performance evaluation of FMS , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[20]  Robert Valette,et al.  Application and Theory of Petri Nets 1997 , 1997, Lecture Notes in Computer Science.

[21]  Manuel Silva,et al.  PROGRAMMABLE LOGIC CONTROLLERS AND PETRI NETS: A COMPARATIVE STUDY , 1983 .

[22]  Giovanni Chiola,et al.  Distributed simulation of Petri nets , 1993, IEEE Parallel & Distributed Technology: Systems & Applications.

[23]  Manuel Silva,et al.  Interleaving Functional and Performance Structural Analysis of Net Models , 1993, Application and Theory of Petri Nets.

[24]  Stanley B. Gershwin,et al.  Hierarchical flow control: a framework for scheduling and planning discrete events in manufacturing systems , 1989, Proc. IEEE.

[25]  G. Rand.  Sequencing and Scheduling: An Introduction to the Mathematics of the Job-Shop , 1982 .

[26]  B. Krogh,et al.  On closed-loop liveness of discrete-event systems under maximally permissive control , 1992 .

[27]  J. Kaltwasser,et al.  Hierarchical Control of Flexible Manufacturing Systems , 1986 .

[28]  Giorgio Bruno,et al.  Protob: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems , 1991, Comput. Lang..

[29]  Antonio Ramírez-Treviño,et al.  On optimal scheduling in DEDS , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[30]  Giovanni Chiola,et al.  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.

[31]  Kouji Takahashi,et al.  Application of the mark flow graph to represent discrete event production systems and system control , 1988 .

[32]  W. Wonham,et al.  Control of vector discrete-event systems. II. Controller synthesis , 1994, IEEE Trans. Autom. Control..

[33]  J. Billington.  Many-sorted high-level nets , 1989 .

[34]  José A. Bañares,et al.  Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations , 1993, Application and Theory of Petri Nets.

[35]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[36]  S. S. Panwalkar,et al.  A Survey of Scheduling Rules , 1977, Oper. Res..

[37]  Wilfried Brauer,et al.  A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.

[38]  Grzegorz Rozenberg.  Advances in Petri Nets 1993 , 1991, Lecture Notes in Computer Science.

[39]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[40]  Manuel Silva,et al.  Properties and performance bounds for closed free choice synchronized monoclass queueing networks , 1991 .

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

[42]  Stanley B. Gershwin,et al.  Manufacturing Systems Engineering , 1993 .

[43]  Philippe Chrétienne,et al.  Timed Petri net schedules , 1987, European Workshop on Applications and Theory of Petri Nets.

[44]  Ben Atkinson,et al.  Queueing theory in manufacturing systems analysis and design , 1993 .

[45]  Susanna Donatelli,et al.  Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution , 1994, Application and Theory of Petri Nets.

[46]  Grzegorz Rozenberg,et al.  Advances in Petri Nets 1988 , 1987, Lecture Notes in Computer Science.

[47]  Manuel Silva Suárez,et al.  Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals , 1997, IEEE Trans. Syst. Man Cybern. Part A.

[48]  V. Garg,et al.  Supervisory control of real-time discrete-event systems using lattice theory , 1996, IEEE Trans. Autom. Control..

[49]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

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

[51]  Toshimasa Watanabe.  Minimum initial marking problems of Petri nets , 1989 .

[52]  Grzegorz Rozenberg.  Advances in Petri Nets 1990 , 1989, Lecture Notes in Computer Science.

[53]  Manuel Silva,et al.  The spy: A mechanism for safe implementation of highly concurrent systems , 1988 .

[54]  Manuel Silva,et al.  On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes , 1995, STRICT.

[55]  Zhen Liu,et al.  Performance Bounds for Stochastic Timed Petri Nets , 1995, Application and Theory of Petri Nets.

[56]  Manuel Silva Suárez,et al.  On the analysis and synthesis of free choice systems , 1991, Applications and Theory of Petri Nets.

[57]  Tadao Murata,et al.  Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis , 1994, IEEE Trans. Software Eng..

[58]  Amir Pnueli,et al.  Marked Directed Graphs , 1971, J. Comput. Syst. Sci..

[59]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[60]  René Boel,et al.  On forbidden state problems for a class of controlled Petri nets , 1995, IEEE Trans. Autom. Control..

[61]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[62]  René David,et al.  Autonomous And Timed Continous Petri Nets , 1991, Applications and Theory of Petri Nets.

[63]  Guy Juanole,et al.  Observer-A Concept for Formal On-Line Validation of Distributed Systems , 1994, IEEE Trans. Software Eng..

[64]  L. Shen,et al.  Truncation of Petri net models for simplifying computation of optimum scheduling problems , 1992 .

[65]  Grzegorz Rozenberg.  Advances in Petri Nets 1992 , 1992, Lecture Notes in Computer Science.

[66]  Manuel Silva,et al.  Structural performance analysis of stochastic Petri nets , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[67]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[68]  Jacek Blazewicz,et al.  Scheduling in Computer and Manufacturing Systems , 1990 .

[69]  Itsuo Hatono,et al.  Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets , 1991, IEEE Trans. Software Eng..

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

[71]  J. C. Gentina,et al.  Coloured adaptive structured Petri-net Part II: deduction of the structured graph from the pregraph and application — modelling of a flexible workshop , 1988 .

[72]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[73]  Alan J. Mayne,et al.  Introduction to Simulation and SLAM , 1979 .

[74]  F. Charbonnier,et al.  Commande supervisée des systèmes à évènements discrets , 1996 .

[75]  Manuel Silva,et al.  Analysis of autonomous Petri nets with bulk services and arrivals , 1994 .

[76]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[77]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[78]  Kees M. van Hee,et al.  Information systems engineering - a formal approach , 1994 .

[79]  P. R. Muro-Medrano,et al.  Using Petri net models at the coordination level for manufacturing systems control , 1994 .

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

[81]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[82]  Yves Dallery,et al.  Manufacturing flow line systems: a review of models and analytical results , 1992, Queueing Syst. Theory Appl..

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

[84]  Robert Valette,et al.  Software Implementation of Petri nets and compilation of rule-based systems , 1990, Applications and Theory of Petri Nets.

[85]  Krithi Ramamritham,et al.  Allocation and Scheduling of Precedence-Related Periodic Tasks , 1995, IEEE Trans. Parallel Distributed Syst..

[86]  S. Gershwin,et al.  A control perspective on recent trends in manufacturing systems , 1986, IEEE Control Systems Magazine.

[87]  W. Wonham,et al.  Control of vector discrete-event systems. I. The base model , 1993, IEEE Trans. Autom. Control..

[88]  Takashi Sekiguchi,et al.  A timed Petri net and beam search based online FMS scheduling system with routing flexibility , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

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

[90]  Yves Dallery,et al.  A unified modeling of Kanban systems using petri nets , 1991 .

[91]  Kishor S. Trivedi,et al.  A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.

[92]  Y. Narahari,et al.  Coloured Petri net models for automated manufacturing systems , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[93]  Giovanni Chiola,et al.  Properties and Performance Bounds for Timed Marked Graphs , 1992 .

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

[95]  Manuel Silva Suárez,et al.  On the Computation of Structural Synchronic Invariants in P/T Nets , 1988, European Workshop on Applications and Theory of Petri Nets.

[96]  Shikharesh Majumdar,et al.  The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software , 1995, IEEE Trans. Computers.

[97]  MuDer Jeng,et al.  Synthesis using resource control nets for modeling shared-resource systems , 1995, IEEE Trans. Robotics Autom..

[98]  Zohar Manna,et al.  The anchored version of the temporal framework , 1988, REX Workshop.

[99]  Robert A. Nelson,et al.  Casting Petri Nets into Programs , 1983, IEEE Transactions on Software Engineering.

[100]  Ron Bauman,et al.  Production based language simulation of Petri nets , 1986, Simul..

[101]  Jim Browne,et al.  ESPNET: expert-system-based simulator of Petri nets , 1988 .

[102]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

[103]  Matteo Sereno.  Approximate mean value analysis technique for non-product form solution stochastic Petri nets: an application to stochastic marked graphs , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

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

[105]  B.A. Brandin,et al.  The real-time supervisory control of an experimental manufacturing cell , 1996, IEEE Trans. Robotics Autom..

[106]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[107]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[108]  Alain Finkel,et al.  The Minimal Coverability Graph for Petri Nets , 1991, Applications and Theory of Petri Nets.

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

[110]  Dirk Taubner,et al.  On the Implementation of Petri Nets , 1988, European Workshop on Applications and Theory of Petri Nets.

[111]  W. M. Wonham,et al.  Concurrent vector discrete-event systems , 1995 .

[112]  J. C. Gentina,et al.  Coloured adaptive structured petri-net a tool for the automatic synthesis of hierarchical control of flexible manufacturing systems , 1988 .

[113]  Giorgio De Michelis,et al.  Superposed Automata Nets , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[114]  Marc Courvoisier,et al.  Joining Petri nets and knowledge based systems for monitoring purposes , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[115]  Giovanni Chiola,et al.  Operational analysis of timed Petri nets and application to the computation of performance bounds , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[116]  Manuel Silva Suárez,et al.  Approximate Throughput Computation of Stochastic Marked Graphs , 1994, IEEE Trans. Software Eng..

[117]  Alessandro Giua,et al.  Petri Net Supervisors for Generalized Mutual Exclusion Constraints , 1993 .

[118]  RenC David,et al.  Grafcet: a powerful tool for specification of logic controllers , 1995, IEEE Trans. Control. Syst. Technol..

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

[120]  François Baccelli,et al.  Recursive equations and basic properties of timed Petri nets , 1991 .

[121]  Laure Petrucci,et al.  Modular State Space Analysis of Coloured Petri Nets , 1995, Application and Theory of Petri Nets.

[122]  Manuel Silva,et al.  Performance evaluation of repetitive automated manufacturing systems , 1990, [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing.

[123]  Grzegorz Rozenberg.  Advances in Petri Nets 1989 , 1988, Lecture Notes in Computer Science.

[124]  Luca Bernardinello,et al.  A survey of basic net models and modular net classes , 1992, Advances in Petri Nets: The DEMON Project.

[125]  John F. Meyer.  Performability evaluation: where it is and what lies ahead , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[126]  Gérard Berthelot,et al.  Checking properties of nets using transformation , 1985, Applications and Theory in Petri Nets.

[127]  Algirdas Avizienis,et al.  Fault Tolerance by Design Diversity: Concepts and Experiments , 1984, Computer.

[128]  Younes Souissi,et al.  Deterministic Systems of Sequential Processes: a class of structured Petri nets , 1991, Applications and Theory of Petri Nets.

[129]  Wolfgang Reisig,et al.  Petri Nets and Algebraic Specifications , 1991, Theor. Comput. Sci..

[130]  Giorgio De Michelis,et al.  Application and Theory of Petri Nets 1995 , 1995 .

[131]  Enrico Vicario,et al.  Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets , 1995, IEEE Trans. Software Eng..

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

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

[134]  Alessandro Giua,et al.  Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[135]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for discrete manufacturing systems , 1991, Autom..

[136]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[137]  Antti Valmari,et al.  Compositional State Space Generation , 1991, Applications and Theory of Petri Nets.

[138]  Jan Magott.  New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[139]  Manuel Silva Suárez,et al.  Structural techniques and performance bounds of stochastic Petri net models , 1992, Advances in Petri Nets: The DEMON Project.

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

[141]  Fevzi Belli,et al.  Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study , 1991, IEEE Trans. Software Eng..

[142]  Xiaolan Xie,et al.  Optimisation of invariant criteria for event graphs , 1992 .

[143]  Manuel Silva Suárez,et al.  Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems , 1993, Perform. Evaluation.

[144]  Manuel Silva Suárez,et al.  Structure Theory of Equal Conflict Systems , 1996, Theor. Comput. Sci..

[145]  Dino Mandrioli,et al.  Theoretical foundations of computer science , 1987 .

[146]  Christophe Sibertin-Blanc,et al.  Cooperative Nets , 1994, Application and Theory of Petri Nets.

[147]  A. Desrochers,et al.  An Approximation Method For The Performance Analysis Of Manufacturing Systems Based On GSPNs , 1992, Proceedings of the Third International Conference on Computer Integrated Manufacturing,.