A Comparative Analysis of Different Petri Net Tools for A Repairable Multi-Processor System
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.
Authors
- Rajendra Prasad Mahapatra (ORCID: https://orcid.org/0000-0002-9292-6331)
- Abhilash Abhilash
Institutions
- SRM Institute of Science and Technology (IN)
Publication Details
- Journal
- Computer Science Engineering and Technology
- Published
- 2024-09-06
- DOI
- https://doi.org/10.46632/cset/2/3/2
- Primary Topic
- Petri Nets in System Modeling
- Type
- article
- Field-Weighted Citation Impact
- 0.00