(Stochastic) Model Checking in GreatSPN

@inproceedings{Amparore2014StochasticMC,
  title={(Stochastic) Model Checking in GreatSPN},
  author={Elvio Gilberto Amparore and Marco Beccuti and Susanna Donatelli},
  booktitle={Petri Nets},
  year={2014}
}
GreatSPN is a tool for the definition and solution of Generalized Stochastic Petri Nets (GSPN). This paper presents the model checking features that have been recently introduced in GreatSPN. Through a new (Java-based) graphical interface for the GSPN model definition, the user can now access model checking of three different logics: the classical branching temporal logic CTL, and two stochastic logics, CSL and its superset CSLTA. This allows to integrate easily classical and probabilistic… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 11 CITATIONS

Transactions on Petri Nets and Other Models of Concurrency XIII

  • Lecture Notes in Computer Science
  • 2018
VIEW 9 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

Computer Performance Engineering

  • Lecture Notes in Computer Science
  • 2017
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY

  • 2010 Seventh International Conference on the Quantitative Evaluation of Systems
  • 2010
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Logical and Stochastic Modeling with SMART

  • Computer Performance Evaluation / TOOLS
  • 2003
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic

  • 2011 Eighth International Conference on Quantitative Evaluation of SysTems
  • 2011
VIEW 1 EXCERPT

The GreatSPN tool: recent enhancements

  • SIGMETRICS Performance Evaluation Review
  • 2009
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…