Research Article
Snoopy: a tool to design and animate/simulate graph-based formalisms
@INPROCEEDINGS{10.4108/ICST.SIMUTOOLS2008.3098, author={Monika Heiner and Ronny Richter and Martin Schwarick}, title={Snoopy: a tool to design and animate/simulate graph-based formalisms}, proceedings={1st International ICST Workshop on Petri Nets Tools and Applications}, publisher={ACM}, proceedings_a={PNTAP}, year={2010}, month={5}, keywords={editor animator simulator numerical integration algorithms qualitative and quantitative Petri nets}, doi={10.4108/ICST.SIMUTOOLS2008.3098} }- Monika Heiner
Ronny Richter
Martin Schwarick
Year: 2010
Snoopy: a tool to design and animate/simulate graph-based formalisms
PNTAP
ICST
DOI: 10.4108/ICST.SIMUTOOLS2008.3098
Abstract
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 features (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.
