Petri Nets Tools Database Entry: Snoopy Snoopy Overview Entry last updated: 2009/2/23 Entry last validated: 2009/2/23 Tool homepage: Tool availability: Free of charge Tool Features Petri Nets Supported (see also ) • Place/Transition Nets• Stochastic Petri Nets• Petri Nets with Time • Continuous Petri Nets Components (see also ) • Graphical Editor• Token Game Animation• Fast Simulation Environments • PC, Linux• PC, MS Windows 2000• PC, MS Windows XP• Macintosh, Mac OS X Tool Description Snoopy is a tool to design 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, 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.

Snoopy – A Unifying Petri Net Tool. Harry Potter I Wiezien Azkabanu. Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, and Martin Schwarick Computer Science Institute, Brandenburg University.

Each of these classes enjoys dedicated animation or simulation features. Contact Information Monika Heiner Brandenburg University of Technology at Cottbus Computer Science Institute Postbox 10 13 44, 03013 Cottbus, Germany Phone: +49-3 Fax: +49-3 E-mail: Other Remarks Snoopy provides export to several analysis tools, among them: Charlie, DSSZ-CTL and DSSZ-LTL, INA, LoLA, Maria, McKit, PEP, PROD, TINA, SBML/Level 2/Version 3. Snoopy provides import from the following tools/languages: APNN, PED, TINA, SBML/Level 2/Version 3. Of this page.

• • • Part of the book series (LNEE, volume 315) Abstract Petri net is a mathematical modeling language used to describe a system graphically. It is a strong language that can be used to represent parallel or concurrent activities in a system. With a Petri net tool, users can view the overall system graphically and edit it with the editor.

A Petri net tool can also be used to analyze the performance of the system, generate code, simulate the system and perform model checking on it. A review on twenty Petri net tools in this paper will give the readers an idea on what is a Petri net tool and the main functions of a Petri net tool. This paper can serve as an introduction of twenty Petri net tools to the reader. However, to date, there are many Petri net tools available to be downloaded online. This survey paper aims to compare twenty Petri net tools in different aspect.

This is important as users will not have to read the reviews of Petri net tools online one by one. Just be having a look at the discussion provided, readers can determined the best recommended Petri net tools to be used based on their operating systems and the types of Petri net tool to be analyzed. The main purpose of this survey paper is to recommend Petri net tools based on the operating system and the types of Petri net to be analyzed.