Snoopy

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (450 KB)

Source

International Conference on Simulation Tools and Techniques for Commuications, Networks and Systems & Workshops archive
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops table of contents

Marseille, France

SESSION: Technical program table of contents

Article No. 15

Year of Publication: 2008

ISBN:978-963-9799-20-2

Authors

Monika Heiner	Brandenburg University of Technology at Cottbus, Cottbus, Germany
Ronny Richter	Brandenburg University of Technology at Cottbus, Cottbus, Germany
Martin Schwarick	Brandenburg University of Technology at Cottbus, Cottbus, Germany

Sponsors

: ICST
: INRIA

Publisher

ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) ICST, Brussels, Belgium, Belgium

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 35, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	R. David and H. Alla. Discrete, (Continuous, and Hybrid Petri Nets. Springer, 2005.
	2	M. Dube. Signing and Verifying SNOOPY files. Technical Report, Università degli Studi di Milano, Dipartimento di Informatica e Comunicazione, 2005.
	3	M. Dube. Design and Implementation of a Generic Concept for an Interaction of Graphs in Snoopy (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., 2007.
	4	M. Fieber. Design and Implementation of a Generic and Adaptive Tool for Graph Manipulation (in German). Master's thesis, Brandenburg University of Technology Cottbus. Computer Science Dept., 2004.
	5	D. Gilbert and M. Heiner. From Petri Nets to Differential Equations - an Integrative Approach for Biochemical Network Analysis;. In Proc. 27th ICATPN 2006, LNCS 4024, pages 181--200. Springer, 2006.
	6	D. Gilbert, M. Heiner, and S. Lehrack. A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. In Proc. CMSB 2007, LNCS/LNBI 4695, pages 200--216. Springer, 2007.
	7	D. Gillespie. Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry, 81(25):2340--2361, 1977.
	8	L. Gomes, J. Barros, and A. Costa. Petri Nets Tools and Embedded Systems Design. In Proc. Workshop on Petri Nets and Software Engineering (PNSE07) at Int. Conf. on Application and Theory of Petri Nets (ICATPN '07 Siedlce), pages 214--219, 2007.
	9	C. Harkness. The Use of Petri Nets in the Glasgow iGEM Project: ElectrEcoBlu -- a Self-powering Electrochemical Biosensor. Technical report, University of Glasgow, Bioinformatics Research Centre, 2007.
	10	M. Heiner. Verification and Optimization of Control Programs by Petri Nets without State Explosion. In Proc. 2nd Int. Workshop on Manufacturing and Petri Nets at Int. Conf. on Application and Theory of Petri Nets (ICATPN '97 Toulouse), pages 69--84, 1997.
	11	M. Heiner, P. Deussen, and J. Spranger. A Case Study in Design and Verification of Manufacturing Systems with Hierarchical Petri Nets. Journal of Advanced Manufacturing Technology, 15:139--152. 1999.
	12	M. Heiner, I. Koch, and J. Will. Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis. BioSystems, 75:15--28, 2004.
	13	Ina Koch , Björn H. Junker , Monika Heiner, Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber, Bioinformatics, v.21 n.7, p.1219-1226, April 2005 [doi>10.1093/bioinformatics/bti145]
	14	A. Kurth. Fault Trees in Snoopy (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., 2007.
	15	S. Lehrack. A Tool to Model and Simulate Stochastic Pctri Nets in the Context of Biochemical Networks (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., 2007.
	16	M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing, John Wiley and Sons, 1995. 2nd Edition.
	17	T. Menzel. Design and Implementation of a Framework for Petri Net Oriented Modelling (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., 1997.
	18	G. Neumann. Modeling of Biochemical Processes with Petri Nets; Hentostasis vs. Fibrinolysis vs. Inhibitors (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., 2004.
	19	A. Pagnoni. Detecting and Correcting Operation Errors of Distributed Systems. Bulletin of the EATCS, 58, 1996.
	20	Parker, D. A. Implementation of Symbolic Model Checking for Probabilistic Systems. PhD thesis, University of Birmingham, School of Computer Science, 2002.
	21	S. Ramsey. Dizzy User Manual. Technical report, Institute for Systems Biology, CompBio Group, Seattle, Washington, 2006.
	22	C. Rohr. Design and Implementation of an Editor for Visualizing and Debugging of EDL Signatures (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., 2007.
	23	T. Runge. Model Engineering and Validation of Biochemical Networks with Coloured Petri nets -Demonstrated for Glycolysis (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., 2004.
	24	D. Scheibler. A Tool to Design and Simulate Continuous Petri Nets (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., 2006.
	25	D. Schrödter. Re-engineering of Biochemical Networks (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., submitted, 2007.
	26	M. Schwarick. A Tool to Analyze Petri Nets (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., 2006.
	27	P. Starke and S. Roch. INA - The Intergrated Net Analyzer: User Manual. Technical report. Humboldt University Berlin. www.informatik.hu-berlin.de/~starke/ina.html, 1999.
	28	P. H. Starke. Halma net. Petri Net Newsletter, 28:3--8, 1987.
	29	Website Charlie. A Tool for the Analysis of Place/Transition Nets. http://www-dssz.informatik.tu-cottbus.de/software/charlie/charlie.html.
	30	Website COPASI. Complex Pathway Simulator. http://www.copasi.org, last visit: 07/2007.
	31	Website Graphviz. Graph Visualization Software. http://www.graphviz.org last visit: 08/2007.
	32	Website PED. An Hierarchical Petri Net Editor. http://www-dssz.informatik.tu-cottbus.de/software/ped.html.
	33	Website Petri Net Markup Language. PNML Framework Release 1.2.0. http://www-src.lip6.fr/logiciels/mars/PNML/, last visit: 08/2007.
	34	Website Petri Nets World. The Home Site. http://www.informatik.uni-hamburg.de/TGI/PetriNets/, last visit: 08/2007.
	35	Website Snoopy. A Tool to Design and Animate/Simulate Graphs. http://www-dssz.informatik.tu-cottbus.de/software/snoopy.html.
	36	Website Systems Biology Markup Language. The Home Site, http://sbml.org/index.psp, last visit: 08/2007.
	37	Website wxWidgets. A Toolkit for cross-platform GUI Application. http://www.wxwidgets.org, last visit: 08/2007.
	38	K. Winder. Invariant-based Structural Characterization of Petri Nets (in German). Master's thesis, Brandenburg University of Technology Cottbus, Computer Science Dept., 2006.
	39	A. Zimmermann and M. Knole. TimeNET 4.0: A Software Tool for the Performability Evaluation with Stochastic and Coloured Petri Nets: User Manual. Technical report, Technical University Berlin, Real-Time Systems and Robotics Group, TR 2007--13, 2007.