Heiner, M., Richter, R., Rohr, C., & Schwarick, M. (2008). Snoopy - A Tool to Design and Execute Graph-Based Formalisms. [Extended Version]. Petri Net Newsletter, 74(April), 8-22.