Skip to the main content

Preliminary communication

https://doi.org/10.31341/jios.47.1.12

A Study on Petri Net Supporting Tools for System Modeling and Analysis

Damián Varga orcid id orcid.org/0009-0007-2855-2703 ; Faculty of Electrical Engineering and Informatics, Technical University of Košice, Košice, Slovakia
Slavomír Šimoňák orcid id orcid.org/0000-0001-6505-3160 ; Faculty of Electrical Engineering and Informatics, Technical University of Košice, Košice, Slovakia


Full text: english pdf 595 Kb

page 203-222

downloads: 218

cite


Abstract

Within this work we analyze and compare ten Petri net supporting tools for system modeling and analysis. A short summary of several available overviews of Petri net tools is performed before the tools analysis itself to evaluate the current state in this field. Principal parts of the paper are focused on analysis and evaluation of the selected tools. We provide detailed and practical description of selection of up to date tools, their evaluation based on various criteria, and recommendations for several use cases.

Keywords

analysis; modeling; Petri nets; supporting tools; tool comparison

Hrčak ID:

305541

URI

https://hrcak.srce.hr/305541

Publication date:

30.6.2023.

Visits: 550 *