GreatSPN2.0 is a software package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension: Stochastic Well-formed Nets. The tool provides a friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis algorithms to allow its use on rather complex applications, not only toy examples. GreatSPN2.0 is composed of many separate programs that cooperate in the construction and analysis of PN models by sharing files. Using network file system capabilities, different analysis modules can be run on different machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open to the addition of new analysis modules as new reserch results become available. All modules are written in the C programming language to guarantee portability and efficiency on different Unix machines. All solution modules use special storage techniques to save memory both for intermediate result files and for program data structures. ..

References in zbMATH (referenced in 51 articles , 1 standard article )

Showing results 1 to 20 of 51.
Sorted by year (citations)

1 2 3 next

  1. Angius, Alessio; Balbo, Gianfranco; Beccuti, Marco; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta: Approximate analysis of biological systems by hybrid switching jump diffusion (2015)
  2. Amparore, Elvio Gilberto; Beccuti, Marco; Donatelli, Susanna: (Stochastic) model checking in greatspn (2014)
  3. Benoit, Anne; Gallet, Matthieu; Gaujal, Bruno; Robert, Yves: Computing the throughput of probabilistic and replicated streaming applications (2014)
  4. Bellettini, Carlo; Camilli, Matteo; Capra, Lorenzo; Monga, Mattia: Mardigras: simplified building of reachability graphs on large clusters (2013)
  5. Barbot, Beno^ıt; Haddad, Serge; Picaronny, Claudine: Coupling and importance sampling for statistical model checking (2012)
  6. Colange, M.; Baarir, S.; Kordon, F.; Thierry-Mieg, Y.: Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag (2011)
  7. Cordero, Francesca; Horváth, András; Manini, Daniele; Napione, Lucia; De Pierro, Massimiliano; Pavan, Simona; Picco, Andrea; Veglio, Andrea; Sereno, Matteo; Bussolino, Federico; Balbo, Gianfranco: Simplification of a complex signal transduction model using invariants and flow equivalent servers (2011)
  8. Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew: GreatSPN enhanced with decision diagram data structures (2010) ioport
  9. Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun: Concurrency and composition in a stochastic world (2010)
  10. Hermanns, Holger; Katoen, Joost-Pieter: The how and why of interactive Markov chains (2010)
  11. Bashirov, Rza; Kordon, Fabrice; Lort, Hüseyin: Exploiting colored Petri nets to decide on permutation admissibility (2009)
  12. Gharbi, Nawel; Dutheillet, Claude; Ioualalen, Malika: Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems (2009)
  13. Capra, Lorenzo; Cazzola, Walter: Evolutionary design through reflective Petri nets: an application to workflow (2008)
  14. Macià, Hermenegilda; Valero, Valentin; Cuartero, Fernando; Ruiz, M.Carmen: sPBC: a Markovian extension of Petri box calculus with immediate multiactions (2008)
  15. Balbo, Gianfranco: Introduction to generalized stochastic Petri nets (2007)
  16. Beccuti, M.; Franceschinis, G.; Haddad, S.: Markov decision Petri net and Markov decision well-formed net formalisms (2007)
  17. Ciardo, Gianfranco; Lüttgen, Gerald; Yu, Andy Jinqing: Improving static variable orders via invariants (2007)
  18. Hamez, Alexandre; Kordon, Fabrice; Thierry-Mieg, Yann; Legond-Aubry, Fabrice: dmcG: a distributed symbolic model checker based on GreatSPN (2007) ioport
  19. Petriu, Dorina C.; Shen, Hui; Sabetta, Antonino: Performance analysis of aspect-oriented UML models (2007) ioport
  20. Kostin, Alexander E.: A reachability algorithm for general Petri nets based on transition invariants (2006)

1 2 3 next

Further publications can be found at: