A Comparative Analysis of Different Petri Net Tools for A Repairable Multi-Processor System

Abhilash Abhilash; Rajendra Prasad Mahapatra

doi:10.46632/cset/2/3/2

Verified recordOpen access

A Comparative Analysis of Different Petri Net Tools for A Repairable Multi-Processor System

Abhilash Abhilash, Rajendra Prasad Mahapatra

Computer Science Engineering and Technology2024doi:10.46632/cset/2/3/2

Citation graph

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.

Authors

Abhilash Abhilash#1 Rajendra Prasad Mahapatra#2

Institutions

No ROR-resolved institution is linked to this work yet.

Provenance

crossref

Confidence 100%

unpaywall

Confidence 95%

datacite

Confidence 0%

Referenced works

View all references →

No local reference links have been materialized yet.

Cited by

View all cited-by records →

No local citing links have been materialized yet.

External reference records

Unresolved referenced work

Kept as external metadata until matched

Unresolved referenced work

Kept as external metadata until matched

10.7551/mitpress/7301.001.0001

10.1007/978-94-009-5408-3_2

Unresolved referenced work

Kept as external metadata until matched

10.1109/5.24143

Unresolved referenced work

Kept as external metadata until matched

10.1109/iadcc.2013.6514289

10.3390/designs5010012

10.1016/j.jmsy.2018.04.006

10.1145/2590651.2590657

A Comparative Analysis of Different Petri Net Tools for A Repairable Multi-Processor System

Referenced works

Cited by

External reference records

Additional external references