Tutorial and Survey Articles: An introduction to Petri Nets

This paper describes the fundamental concepts and characteristics of Petri nets (PNs) that make 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]  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.

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

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

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

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

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

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

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

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

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

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

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

[13]  Joseph Sifakis Performance Evaluation of Systems Using Nets , 1979, Advanced Course: Net Theory and Applications.

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

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

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

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

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

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

[20]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[21]  Janette Cardoso,et al.  On possibilistic timed safe Petri nets , 1999, Int. J. Intell. Syst..

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

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

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

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

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

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

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

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

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

[31]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

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

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

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

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

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

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

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