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.org/0009-0007-2855-2703
; Faculty of Electrical Engineering and Informatics, Technical University of Košice, Košice, Slovakia
Slavomír Šimoňák
orcid.org/0000-0001-6505-3160
; Faculty of Electrical Engineering and Informatics, Technical University of Košice, Košice, Slovakia
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
Publication date:
30.6.2023.
Visits: 550 *