Tool homepage: http://www-dssz.informatik.tu-cottbus.de/software/snoopy.html
Tool availability: Free of charge
To support an aspect-oriented model engineering, different graph classes may be used simultaneously, and graphs of different classes can be converted into each other.
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 according to the standard definition and a version enhanced by four special arcs as well as three quantitative extensions - time Petri nets, stochastic Petri nets, and continuous Petri nets. Each of these classes enjoys dedicated animation or simulation features.
Monika Heiner Brandenburg University of Technology at Cottbus Computer Science Institute Postbox 10 13 44, 03013 Cottbus, Germany Phone: +49-355-69 3884 Fax: +49-355-69 3587 E-mail: email@example.com
Snoopy provides import from the following tools/languages: APNN, PED, TINA, SBML/Level 2/Version 3.