YAPNE: A Tool for Modeling and Automated Verification of Data Petri Nets.

Christian Imenkamp, Joscha Grger, Martin Kuhn, Christoph Matheja, Andrey Rivkin, Agnes Koschmider

Browse the full ICPM paper archive.