Snoopy – A Unifying Petri Net Tool

Heiner, Monika; Herajy, Mostafa; Liu, Fei; Röhr, Christian; Schwarick, Martin

doi:10.1007/978-3-642-31131-4_22

Cited by 178 publications

(119 citation statements)

References 13 publications

(23 reference statements)

Supporting

Mentioning

107

Contrasting

Order By: Relevance

“…However, the main formalism is different (SAN network) and there is no support for DTAs. The tool Snoopy [10] also provides a unified editor for GSPN models, with support for hierarchical composition and multiple solvers, but does not support DTAs. The editor Coloane [7] supports both Petri net and Timed Automata, but (at the time of writing) is not focused on stochastic models.…”

Section: Related Work and Conclusionmentioning

confidence: 99%

A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking

Amparore

2014

Quantitative Evaluation of Systems

View full text Add to dashboard Cite

Abstract. This tool demonstration paper describes a new Graphical User Interface for the interactive modeling and verification of GSPN systems with the stochastic logic CSL TA . The GUI provides a modern and fully-featured environment designed around a complete modeling workflow: The user designs a GSPN model, a DTA (automaton describing properties for the CSL TA logic), and can simulate the GSPN behavior and the model checking process with an interactive simulation (a sort of "joint token game"). The tool then supports CSL TA model-checking and the computation of classical performance indices and qualitative properties. The aim is to provide a state-of-the-art integrated environment for the quantitative and qualitative analysis of GSPNs with the support of GreatSPN solvers and of the MC4CSL TA model checker.

show abstract

Section: Related Work and Conclusionmentioning

confidence: 99%

A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking

Amparore

2014

Quantitative Evaluation of Systems

View full text Add to dashboard Cite

show abstract

“…We illustrate how to build corresponding Petri net models and discuss what we can obtain by applying some Petri net analysis techniques. We use the tools Snoopy [14], Charlie [15] and 4ti2 [1] for editing and analysing the Petri net models.…”

Section: Petri Nets For Analysing Trophic Networkmentioning

confidence: 99%

Petri Nets for Modelling and Analysing Trophic Networks

Baldan

Bocci

Brigolin

et al. 2018

Self Cite

View full text Add to dashboard Cite

Abstract. We consider trophic networks, a kind of networks used in ecology to represent feeding interactions (what-eats-what) in an ecosystem. We observe that trophic networks can be naturally modelled as Petri nets and this suggests the possibility of exploiting Petri nets for the analysis and simulation of trophic networks. Some preliminary steps in this directions and some ideas for future development are presented.

show abstract

“…The University of Cottbus has developed a suite of tools for the analysis of qualitative and stochastic properties of Petri nets which shares many of the objectives of GreatSPN3.0. Snoopy [25] is a java-based graphical interface which includes token animation. Marcie [26] is a set of analysis algorithms for various forms of stochastic Petri nets.…”

Section: Literature Reviewmentioning

confidence: 99%

30 Years of GreatSPN

Amparore

Balbo

Beccuti

et al. 2016

Springer Series in Reliability Engineering

View full text Add to dashboard Cite

GreatSPN is a tool for the stochastic analysis of systems modelled as (stochastic) Petri nets. This chapter describes the evolution of the GreatSPN framework over its lifespan of 30 years, from the first stochastic Petri net analyzer implemented in Pascal, to the current, fancy, graphical interface that supports a number of different model analyzers. This chapter reviews, with the help of a manufacturing system example, how GreatSPN is currently used for an integrated qualitative and quantitative analysis of Petri net systems, ranging from symbolic model checking techniques to a stochastic analysis whose efficiency is boosted by lumpability.

show abstract

Snoopy – A Unifying Petri Net Tool

Cited by 178 publications

References 13 publications

A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking

A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking

Petri Nets for Modelling and Analysing Trophic Networks

30 Years of GreatSPN

Contact Info

Product

Resources

About