A Web-Based Tool for Modeling, Simulation, and Analysis of Petri Nets with Data
摘要
This paper introduces an extension of YAPNE (Yet Another Petri Net Editor) – a web-based tool for modeling, simulation, and analysis of data-aware Petri nets. The aim of the tool is to serve as a teaching aid for courses covering formal aspects of process modeling and analysis, as well as courses on process mining. Additionally, the tool’s support for PNML, together with its modeling and simulation capabilities, is designed to assist researchers working with Data Petri Nets. The new version of YAPNE provides improved graphical user interface and verification capabilities. Moreover, it comes with (1) improved accessibility in accordance with the Web Content Accessibility Guidelines, and (2) additional simulation and log-generation features. Finally, the paper provides a comprehensive documentation of the tool’s architecture, which has not been previously published.