Publikation
YAPNE: A Tool for Modeling and Automated Verification of Data Petri Nets
Christian Imenkamp; Joscha Grüger; Martin Kuhn; Christoph Matheja; Andrey Rivkin; Agnes Koschmider
In: Michael Arias Chaves; Henrik Leopold; Adriana Marotta; Manuel Resinas; Francesca Zerbato (Hrsg.). Proceedings of the ICPM Doctoral Consortium and Demo Track 2025 co-located with the 7th International Conference on Process Mining (ICPM 2025). International Conference on Process Mining (ICPM-2025), 7th International Conference on Process Mining (ICPM 2025), located at ICPM 2025, October 20-24, Montevideo, Uruguay, CEUR Workshop Proceedings, Vol. 4088, ISBN 1613-0073, CEUR-WS.org, 2025.
Zusammenfassung
Data Petri Nets (DPNs) offer a robust formalism for modeling data-dependent processes. Despite their utility, a
notable gap persists in available tools that seamlessly integrate a modeling environment with automated analysis
techniques, such as soundness checks. Furthermore, there is a need for a modeling environment that makes
modeling DPNs efficient and user-friendly. To cover this gap, the paper proposes Yet Another Petri Net Editor
(YAPNE), a web-based tool for DPN modeling and soundness verification. YAPNE’s intuitive graphical user
interface (GUI) streamlines modeling and analysis activities, thereby enhancing the accessibility of formal models
such as Data Petri Nets (DPNs) for both academics and practitioners.