GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
Integrating synchronization with priority into a Kronecker representation
Performance Evaluation
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
SWN Models of a Contact Center: A Case Study
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
On Performance Bounds for Interval Time Petri Nets
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Extended SWN Solvers in GreatSPN
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
On the use of exact lumpability in partially symmetricalWell-formed Nets
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Efficient lumpability check in partially symmetric systems
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
A framework to design and solve Markov Decision Well-formed Net models
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
New Solvers for Asymmetric Systems in GreatSPN
QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
Modeling Clinical Guidelines through Petri Nets
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Formalisms for Specifying Markovian Population Models
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
From partially to fully lumped Markov chains in stochastic well formed Petri nets
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
A comparative study of stochastic analysis techniques
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Lumping partially symmetrical stochastic models
Performance Evaluation
Computing first passage time distributions in stochastic well-formed nets
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Simplification of a complex signal transduction model using invariants and flow equivalent servers
Theoretical Computer Science
Simple O(m log n) time Markov chain lumping
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Ten years of saturation: a petri net perspective
Transactions on Petri Nets and Other Models of Concurrency V
Efficient simulation of stochastic well-formed nets through symmetry exploitation
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
GreatSPN is a tool that supports the design and the qualitative and quantitative analysis of Generalized Stochastic Petri Nets (GSPN) and of Stochastic Well-Formed Nets (SWN). The very first version of GreatSPN saw the light in the late eighties of last century: since then two main releases where developed and widely distributed to the research community: GreatSPN1.7 [13], and GreatSPN2.0 [8]. This paper reviews the main functionalities of GreatSPN2.0 and presents some recently added features that significantly enhance the efficacy of the tool.