Snoopy: a tool to design and animate/simulate graph-based formalisms

Monika Heiner, Ronny Richter, Martin Schwarick
2008 Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems  
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 comfortable integration of further graph classes due to its generic design. To support an aspect-oriented model engineering, different graph classes may be used simultaneously. Snoopy provides some
more » ... ures (hierarchical nodes, logical nodes), which are particularly useful for larger models, or models with an higher connectivity degree. There are several Petri net classes available, among them the purely qualitative place/transition nets in its standard definition and in a version enhanced by four special arcs as well as two quantitative extensions of it -stochastic Petri nets and continuous Petri nets. Each of these classes enjoys dedicated animation or simulation features. Our tool runs on Windows and Linux operating systems, and it is available free of charge for non-commercial use.
doi:10.4108/icst.simutools2008.3098 dblp:conf/simutools/HeinerRS08 fatcat:vjgnouphyza5zanvghton5gesq