Petri Net Tools: a Comparative Analysis

EasyChair Preprint 15549

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.

Keyphrases: Color Petri Net(CPN), Oris, Petri net, Petri net tools, Repairman, TAPAAL

@booklet{EasyChair:15549,
  author    = {Abhilash and Rajendra Prasad Mahapatra},
  title     = {Petri Net Tools: a Comparative Analysis},
  howpublished = {EasyChair Preprint 15549},
  year      = {EasyChair, 2024}}