Abstract.The tool Snoopy provides a unifying Petri net framework which has particularly many application scenarios in systems and synthetic biology. The framework consists of two levels: uncoloured and coloured. Each level comprises a family of related Petri net classes, sharing structure, but being specialized by their kinetic information. Petri nets of all net classes within one level can be converted into each other, while changing the level involves user-guided folding or automatic unfolding. Models can be hierarchically structured, allowing for the mastering of larger networks. Snoopy supports the simultaneous use of several Petri net classes; the graphical user interface adapts dynamically to the active one. Built-in animation and simulation (depending on the net class) are complemented by export to various analysis tools. Snoopy facilitates the extension by new Petri net classes thanks to its generic design.
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. Categories and Subject Descriptors D.2.2 [Software Engineering]: Design Tools and Techniques-State diagrams, Petri nets General Terms Model Creation and ExecutionKeywords editor, animator, simulator, numerical integration algorithms, qualitative and quantitative Petri nets.Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. International Workshop on Petri Nets Tools and APplications PRELIMINARIESThe support by tools is a necessary condition for the acceptance of a formalism. The perspective from various abstraction levels by several models of different expressive strength is a crucial point for a sophisticated evaluation of a system under investigation, technical or natural ones.In this paper, we present Snoopy [35], a generic and adaptive tool for modelling and animating/simulating hierarchical graph-based formalisms. While concentrating our development as far on several kinds of Petri nets and related graph classes, the generic design of Snoopy facilitates also a comfortable extension by new graph classes.The simultaneous use of several graph classes is supported by the dynamic adaptation of the graphical user interface to the active one. So it is possible to treat qualitative and quantitative models of the system under investigation side by side.For example you can start with a qualitative Petri net model and increase first your confidence in the net behaviour by animating it, i.e. playing the token game, before checking some essential properties using external analysis tools. Later you can easily move on to related quantitative models, deterministically timed, stochastic or co...
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.