Work

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

Year: 2024

Type: article

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.

Source: Computer Science Engineering and Technology

DOI: 10.46632/cset/2/3/2

Authors: Abhilash Abhilash, Rajendra Prasad Mahapatra

Institution: SRM Institute of Science and Technology

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W4402321288

FWCI:

Cites: 8

Cited by:

Related to: 10