Affiliation:
1. SRM Institute of Science and Technology, Delhi-NCR Campus, Modinagar, Ghaziabad, Uttar Pradesh, India.
Abstract
This survey paper explores Petri Net tools relevant to concurrent, non-deterministic, stochastic, and parallel systems. It begins with a brief introduction to Petri Nets, discussing their formalism, properties, and variants. The paper then examines several Petri Net tools, including the Oris Tool, Tapaal Tool, and Color Petri Net (CPN) Tool, detailing their modeling capabilities and presenting the results obtained from the problems addressed.
Reference11 articles.
1. Petri, C.A. 1962.Communication with Automata, Kommunikation mit Automaten. Technical Report RADC-TR-65-377, Rome Air Dev. Center, New York.
2. Jiacun Wang, Petri Nets for Dynamic Event-Driven System Modeling, Monmouth University, West Long Branch, NJ 07764.
3. Van der Aalst, Wil, and Kees van Hee, Workflow Management: Models, Methods, and Systems, Massachusetts: MIT Press.
4. Ajmone Marsan, M., M. G. Balbo and G. Conte. 1986. Performance Models of Multiprocessor Systems, Massachusetts: The MIT Press.
5. Desrochers, A., and R. Ai-Jaar. 1995. Applications of Petri Nets in Manufacturing Systems: Modeling, Control and Performance Analysis. IEEE Press.