=Paper=
{{Paper
|id=Vol-4088/paper_250
|storemode=property
|title=YAPNE: A Tool for Modeling and Automated Verification of
Data Petri Nets
|pdfUrl=https://ceur-ws.org/Vol-4088/paper_250.pdf
|volume=Vol-4088
|authors=Christian Imenkamp,Joscha Grüger,Martin Kuhn,Christoph Matheja,Andrey Rivkin,Agnes Koschmider
}}
==YAPNE: A Tool for Modeling and Automated Verification of
Data Petri Nets==
<pdf width="1500px">https://ceur-ws.org/Vol-4088/paper_250.pdf</pdf>
<pre>
None
</pre>