Back
 AM  Vol.7 No.9 , May 2016
Petri Nets—A Versatile Modeling Structure
Abstract: Petri Nets (PNs) are an effective structure for modeling and analyzing asynchronous systems with concurrent and parallel activities. A Petri net models the static properties of a discrete event system concentrating on two basic concepts: events and conditions. Most of the theoretical work on Petri nets is a formal definition of Petri nets structures, which consist of a set of places, representing conditions, a set of transitions, representing events, an input function and an output function. For practical purposes, a graphical representation is more useful. Two types of nodes portray places and transitions. A circle is a place and a bar is a transition. There is no inherent measure of time in a classical Petri net. To approach time-based evaluation of system performances, Timed Petri Nets (TPNs) were introduced. Modeling the notion of time is not straightforward. There are several possibilities for introducing time in PNs, among them timed transitions and timed places. This paper reviews several published examples where Petri Nets were used in different circumstances such as estimating expected utilization of processing resources at steady state in open queueing networks, verifying computerized simulations and batch planning in textile industry.
Cite this paper: Barad, M. (2016) Petri Nets—A Versatile Modeling Structure. Applied Mathematics, 7, 829-839. doi: 10.4236/am.2016.79074.
References

[1]   Billington, J., Diaz, M. and Rozenberg, G. (1999) Application of Petri Nets to Communication Networks. Springer-Verlag, Berlin.
http://dx.doi.org/10.1007/BFb0097770

[2]   Yakovlev, A., Gomes, L. and Lavagno, L. (2000) Hardware Design and Petri Nets. Kluwer, Boston.
http://dx.doi.org/10.1007/978-1-4757-3143-9

[3]   Girault, C. and Valk, R. (2002) Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag, Berlin.

[4]   Peterson, J.L. (1981) Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs.

[5]   Sifakis, J. (1980) Performance Evaluation of Systems Using Nets, Net Theory and Applications. Springer-Verlag, New York.

[6]   Narahari, Y. and Viswanadham, N. (1985) A Petri Net Approach to the Modelling and Analysis of Flexible Manufacturing System. Annals of Operations Research, 3, 449-472.
http://dx.doi.org/10.1007/BF02023780

[7]   Molloy, M.K. (1982) Performance Analysis Using Stochastic Petri Nets. IEEE Transactions on Computers, 31, 913-917.
http://dx.doi.org/10.1109/TC.1982.1676110

[8]   Barad, M. (1994) Decomposing Timed Petri Nets of Open Queueing Networks. Journal of the Operational Research Society, 45, 1385-1397.
http://dx.doi.org/10.1057/jors.1994.215

[9]   Sifakis, J. (1977) Use of Petri Nets for Performance Evaluation. Acta Cybernetica, 4, 185-202.

[10]   Barad, M. (2003) An Introduction to Petri Nets. International Journal of General Systems, 32, 565-582.
http://dx.doi.org/10.1080/03081070310001623366

[11]   Barad, M. (1998) Timed Petri Nets as a Verification Tool. Proceedings of Winter Simulation Conference, Washington DC, 13-16 December 1998, Vol. 1, 547-554.
http://dx.doi.org/10.1109/WSC.1998.745033

[12]   Shannon, R.E. (1981) Tests for the Verification and Validation of Computer Simulation Models. Proceedings of the Winter Simulation Conference, 573-577.

[13]   Sargent, R.G. (1991) Simulation Model Verification and Validation. Proceedings of the Winter Simulation Conference, Phoenix, 8-11 December 1991, 37-47.
http://dx.doi.org/10.1109/wsc.1991.185589

[14]   Balci, O. (1994) Validation, Verification and Testing Techniques throughout the Life Cycle of a Simulation Study. Annals of Operations Research, 53, 121-173.
http://dx.doi.org/10.1007/BF02136828

[15]   Kelton, W.D. (1989) Random Initialization Methods in Simulation. IIE Transactions, 21, 355-367.
http://dx.doi.org/10.1080/07408178908966242

[16]   Kleijnen, J.P.C. (1995) Verification and Validation of Simulation Models. European Journal of Operational Research, 82, 145-162.
http://dx.doi.org/10.1016/0377-2217(94)00016-6

[17]   Barad, M. and Cherkassky, A. (2009) Timed Petri Nets for Textile Batch Processing under Varying Input Characteristics. Proceedings of 20th ICPR, Shanghai, China.

 
 
Top