Petri Nets and Manufacturing Systems: An Examples-Driven Tour

There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain (see for example [54, 15, 18]; besides, in [66] an important bibliography is presented). This paper provides an examples-driven perspective. Nevertheless, not only complete examples from the application domain are considered. Manufacturing systems are frequently large systems, and conceptual complexity often appears because of some particular “local” constructions.

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

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

[4]  Joaquín Ezpeleta,et al.  An Iterative Method for Deadlock Prevention in FMS , 2000 .

[5]  Yves Dallery,et al.  Properties of Continous Models of Transfer Lines with Unreliable Machines and Finite Buffers , 1989 .

[6]  René David,et al.  Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..

[7]  Maria Pia Fanti,et al.  Design of Supervisors to Avoid Deadlock in Flexible Assembly Systems , 2002 .

[8]  Manuel Silva,et al.  Introducing Petri nets , 1993 .

[9]  Edsger W. Dijkstra,et al.  Cooperating sequential processes , 2002 .

[10]  Joaquín Ezpeleta,et al.  Automatic synthesis of colored Petri nets for the control of FMS , 1997, IEEE Trans. Robotics Autom..

[11]  A. Nico Habermann,et al.  Prevention of system deadlocks , 1969, CACM.

[12]  Manuel Silva,et al.  A systems theory perspective of discrete event dynamic systems : The Petri net paradigm , 1996 .

[13]  Joaquín Ezpeleta,et al.  Formal Specification And Validation In Production Plants , 1992, Proceedings of the Third International Conference on Computer Integrated Manufacturing,.

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

[15]  S. Toumodge.  Applications of Petri Nets in Manufacturing systems; Modeling, Control, and Performance Analysis [Book review] , 1995, IEEE Control Systems.

[16]  Alberto Bemporad,et al.  An iterative algorithm for the optimal control of continuous-time switched linear systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

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

[18]  Alessandro Giua,et al.  First-order hybrid Petri nets: a model for optimization and control , 2000, IEEE Trans. Robotics Autom..

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

[20]  Eric Renshaw,et al.  A survey of stepping-stone models in population dynamics , 1986, Advances in Applied Probability.

[21]  L. Recalde,et al.  A deadlock avoidance approach for non-sequential resource allocation systems , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[22]  Manuel Silva,et al.  On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models , 2003, ADHS.

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

[24]  Rüdiger Valk,et al.  Petri Nets as Token Objects: An Introduction to Elementary Object Nets , 1998, ICATPN.

[25]  Giovanni Chiola,et al.  Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector , 1991, IEEE Trans. Software Eng..

[26]  Joaquín Ezpeleta,et al.  A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states , 2002, IEEE Trans. Robotics Autom..

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

[28]  Bengt Lennartson,et al.  Performance modeling of automated manufacturing systems , 1995, Autom..

[29]  Jean-Marie Proth,et al.  Petri nets : a tool for design and management of manufacturing systems , 1996 .

[30]  Manuel Silva Suárez,et al.  Petri Nets for the Design and Operation of Manufacturing Systems , 1997, Eur. J. Control.

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

[32]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[33]  Manuel Silva Suárez,et al.  Petri Nets and Production Systems , 1996, Petri Nets.

[34]  Manuel Silva Suárez,et al.  Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems , 1996, Petri Nets.

[35]  Robert Valette,et al.  Modeling, Simulation and Analysis of Batch Production Systems , 2001, Discret. Event Dyn. Syst..

[36]  J.M. Ayache,et al.  OBSERVER A CONCEPT FOR ON-LINE DETECTION OF CONTROL ERRORS IN CONCURRENT SYSTEMS , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[37]  Elzbieta Roszkowska,et al.  Problems of Process Flow Feasibility in FAS , 1992 .

[38]  Manuel Silva Suárez,et al.  On fluidification of Petri Nets: from discrete to hybrid and continuous models , 2003, Annu. Rev. Control..

[39]  D. Moldt,et al.  An approach to modelling fms with dynamic object petri nets , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[40]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

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

[42]  Manuel Silva Suárez,et al.  Petri nets and integrality relaxations: A view of continuous Petri net models , 2002, IEEE Trans. Syst. Man Cybern. Part C.

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

[44]  A.I. Elwalid,et al.  Statistical multiplexing with loss priorities in rate-based congestion control of high-speed networks , 1994, IEEE Trans. Commun..

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

[46]  Manuel Silva.  Las Redes de Petri : en la Automática y la Informática , 2002 .

[47]  MuDer Jeng,et al.  A deadlock prevention policy for flexible manufacturing systems using siphons , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

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

[49]  C. Chaouiya,et al.  Petri Net Models of Pull Control Systems for Assembly Manufacturing Systems , 1997 .

[50]  Alan A. Desrochers,et al.  Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis , 1994 .

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

[52]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

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