A Comparative Analysis of Different Petri Net Tools for A Repairable Multi-Processor System
Abhilash Abhilash, Rajendra Prasad Mahapatra · Computer Science Engineering and Technology · 2024
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.