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 57 articles , 1 standard article )

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

1 2 3 next

  1. Garavel, Hubert: Nested-unit Petri nets (2019)
  2. Angius, Alessio; Balbo, Gianfranco; Beccuti, Marco; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta: Approximate analysis of biological systems by hybrid switching jump diffusion (2015)
  3. Amparore, Elvio Gilberto; Beccuti, Marco; Donatelli, Susanna: (Stochastic) model checking in GreatSPN (2014) ioport
  4. Beccuti, Marco; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Angius, Alessio; Balbo, Gianfranco: Analysis of Petri net models through stochastic differential equations (2014)
  5. Benoit, Anne; Gallet, Matthieu; Gaujal, Bruno; Robert, Yves: Computing the throughput of probabilistic and replicated streaming applications (2014)
  6. Bellettini, Carlo; Camilli, Matteo; Capra, Lorenzo; Monga, Mattia: MaRDiGraS: simplified building of reachability graphs on large clusters (2013)
  7. Barbot, Benoît; Haddad, Serge; Picaronny, Claudine: Coupling and importance sampling for statistical model checking (2012)
  8. Colange, M.; Baarir, S.; Kordon, F.; Thierry-Mieg, Y.: Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag (2011)
  9. 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)
  10. Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew: GreatSPN enhanced with decision diagram data structures (2010) ioport
  11. Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun: Concurrency and composition in a stochastic world (2010)
  12. Hermanns, Holger; Katoen, Joost-Pieter: The how and why of interactive Markov chains (2010)
  13. Bashirov, Rza; Kordon, Fabrice; Lort, Hüseyin: Exploiting colored Petri nets to decide on permutation admissibility (2009)
  14. Ciardo, Gianfranco; Mecham, Galen; Paviot-Adet, Emmanuel; Wan, Min: P-semiflow computation with decision diagrams (2009)
  15. Gharbi, Nawel; Dutheillet, Claude; Ioualalen, Malika: Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems (2009)
  16. Capra, Lorenzo; Cazzola, Walter: Evolutionary design through reflective Petri nets: an application to workflow (2008)
  17. Gharbi, Nawel: On the applicability of stochastic Petri nets for analysis of multiserver retrial systems with different vacation policies (2008)
  18. Macià, Hermenegilda; Valero, Valentin; Cuartero, Fernando; Ruiz, M. Carmen: sPBC: a Markovian extension of Petri box calculus with immediate multiactions (2008)
  19. Balbo, Gianfranco: Introduction to generalized stochastic Petri nets (2007)
  20. Beccuti, M.; Franceschinis, G.; Haddad, S.: Markov decision Petri net and Markov decision well-formed net formalisms (2007)

1 2 3 next

Further publications can be found at: