Heiner, M., Herajy, M., Liu, F., Rohr, C., & Schwarick, M. (2012). Snoopy – A Unifying Petri Net Tool. In Application and Theory of Petri Nets. PETRI NETS 2012. Lecture Notes in Computer Science (pp. 398-407).