Tutorial and Survey Articles: An introduction to Petri Nets

This paper describes the fundamental concepts and characteristics of Petri Nets (PN) that made them a significant tool for modeling and analyzing asynchronous systems with concurrent and parallel activities and follows the extensions that improved the implementation capabilities of the original PNs. Their first and most relevant extension was time modeling, a vital aspect of system performances not considered in the original version. There are several possibilities for introducing time in PNs. Among them, a technique that associates time with places is presented in some detail. As PNs tend to become cumbersome and time consuming when large and complex systems are involved, a method for decomposing Timed PNs of Open Queuing Networks is reviewed here. Though initially developed as an information/computer based technique, PNs were immediately adopted in a variety of application areas, such as manufacturing, design, planning and control. Viewed through a more recently developed programming perspective, the ordinary PNs became “High level” PNs suitable for defining different data types and for applying hierarchical approaches. It is expected that the robust theoretical basis of this tool coupled with its visual and flexibility features will continue to appeal to researchers and practitioners alike in a variety of domains and as a result will continue to evolve and expand.

[1]  Miryam Barad,et al.  A PETRI NET MODEL FOR THE OPERATIONAL DESIGN AND ANALYSIS OF SEGMENTED FLOW TOPOLOGY (SFT) AGV SYSTEMS , 1998 .

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

[3]  Rüdiger Valk,et al.  Petri Nets for Systems Engineering , 2003, Springer Berlin Heidelberg.

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

[5]  Albert Koelmans,et al.  Petri Nets and Digital Hardware Design , 1998 .

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

[7]  Francesco Tisato,et al.  Modeling the Ada Task System by Petri Nets , 1985, Comput. Lang..

[8]  Alexander Fay,et al.  A fuzzy knowledge-based system for railway traffic control , 2000 .

[9]  Janette Cardoso,et al.  Fuzziness in Petri Nets , 1998 .

[10]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[11]  Janette Cardoso,et al.  On possibilistic timed safe Petri nets , 1999 .

[12]  Wolfgang Reisig,et al.  Distributed algorithms: modeling and analysis with Petri nets , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[13]  Laure Petrucci,et al.  Modular Analysis of Petri Nets , 2000, Comput. J..

[14]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[15]  H. Harry Asada,et al.  The Discrete Event Modeling and Trajectory Planning of Robotic Assembly Tasks , 1995 .

[16]  Miryam Barad Timed Petri nets as a verification tool , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

[17]  Miryam Barad Decomposing Timed Petri Net Models of Open Queueing Networks , 1994 .

[18]  Michael K. Molloy Discrete Time Stochastic Petri Nets , 1985, IEEE Transactions on Software Engineering.

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

[20]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

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

[22]  Toshinori Suzuki,et al.  A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets , 1990, IEEE Trans. Software Eng..

[23]  Wolfgang Reisig Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

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

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

[26]  MengChu Zhou,et al.  Petri Nets in Flexible and Agile Automation , 1995 .

[27]  Jonathan Billington,et al.  Application of Petri Nets to Communication Networks , 1999, Lecture Notes in Computer Science.

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

[29]  Jonathan Billington,et al.  Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets , 1996, Petri Nets.

[30]  Dimitri Lefebvre,et al.  Fuzzy multimodel of timed Petri nets , 2001, IEEE Trans. Syst. Man Cybern. Part B.

[31]  Jean-Marie Proth,et al.  Production management in a Petri net environment , 1995 .

[32]  Robert H. Sloan,et al.  Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset , 2001, Automated Software Engineering.

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

[34]  Jean-Pierre Courtiat,et al.  Petri nets are good for protocols , 1984, Comput. Commun. Rev..

[35]  Wolfgang Reisig,et al.  Distributed Algorithms for Networks of Agents , 1996, Petri Nets.

[36]  Woo Jin Lee,et al.  Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering , 1998, IEEE Trans. Software Eng..

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

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

[39]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

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

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

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

[43]  Jonathan Lee,et al.  A fuzzy Petri net-based expert system and its application to damage assessment of bridges , 1999, IEEE Trans. Syst. Man Cybern. Part B.

[44]  Luis Gomes,et al.  Hardware Design and Petri Nets , 2000 .

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