GreatSPN 1.7

GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets. This paper describes the GreatSPN 1.7 package for the modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension. 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 “real” applications, not only toy examples. Developed in a university for non-profit purposes, it is distributed free of charge to other universities for educational and research purposes. An overview of the complete architecture of the package is given together with examples of its application. Then the various analysis and simulation modules are described.

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

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

1 2 3 next

  1. Barbot, Beno{^i}t; Haddad, Serge; Picaronny, Claudine: Coupling and importance sampling for statistical model checking (2012)
  2. Haddad, S.; Mairesse, J.; Nguyen, H-T.: Synthesis and analysis of product-form Petri nets (2011)
  3. Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun: Concurrency and composition in a stochastic world (2010)
  4. Hermanns, Holger; Katoen, Joost-Pieter: The how and why of interactive Markov chains (2010)
  5. Bashirov, Rza; Kordon, Fabrice; Lort, Hüseyin: Exploiting colored Petri nets to decide on permutation admissibility (2009)
  6. Gharbi, Nawel; Dutheillet, Claude; Ioualalen, Malika: Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems (2009)
  7. Capra, Lorenzo; Cazzola, Walter: Evolutionary design through reflective Petri nets: an application to workflow (2008)
  8. Macià, Hermenegilda; Valero, Valentin; Cuartero, Fernando; Ruiz, M.Carmen: sPBC: a Markovian extension of Petri box calculus with immediate multiactions (2008)
  9. Balbo, Gianfranco: Introduction to generalized stochastic Petri nets (2007)
  10. Beccuti, M.; Franceschinis, G.; Haddad, S.: Markov decision Petri net and Markov decision well-formed net formalisms (2007)
  11. Ciardo, Gianfranco; Lüttgen, Gerald; Yu, Andy Jinqing: Improving static variable orders via invariants (2007)
  12. Capra, Lorenzo; Cazzola, Walter: A Petri-net based reflective framework for the evolution of dynamic systems. (2006)
  13. Kostin, Alexander E.: A reachability algorithm for general Petri nets based on transition invariants (2006)
  14. Bellettini, Carlo; Capra, Lorenzo; Monga, Mattia: Quantitative assessment of a peer-to-peer cooperative infrastructure using stochastic well-formed nets. (2005)
  15. Evangelista, Sami: High level Petri nets analysis with Helena (2005)
  16. Raiteri, Daniele Codetta: The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation. (2005)
  17. Barros, João Paulo; Gomes, Luís: On the use of coloured Petri nets for object-oriented design (2004)
  18. Franceschinis, Giuliana; Gribaudo, Marco; Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria: Compositional modeling of complex systems: Contact center scenarios in OsMoSys (2004)
  19. Kwiatkowska, Marta; Norman, Gethin; Parker, David: Probabilistic symbolic model checking with prism: a hybrid approach (2004)
  20. Bohnenkamp, H.; Hermanns, H.; Katoen, J.-P.; Klaren, R.: The Modest modeling tool and its implementation. (2003)

1 2 3 next

Further publications can be found at: