Snoopy: a tool to design and animate/simulate graph-based formalisms
Monika Heiner, Ronny Richter, Martin Schwarick · 2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along with several pre-fabricated graph classes, especially some kind of Petri nets and other related graphs, and facilitates a co