Volume: Vol-4088 ICPM-D 2025 | Year: 2025

Paper: « paper_249 | paper_250 | paper_251 »

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