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

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

1 2 next

  1. Barbot, Beno^ı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. Kostin, Alexander E.: A reachability algorithm for general Petri nets based on transition invariants (2006)
  13. Evangelista, Sami: High level Petri nets analysis with Helena (2005)
  14. Barros, João Paulo; Gomes, Luís: On the use of coloured Petri nets for object-oriented design (2004)
  15. Franceschinis, Giuliana; Gribaudo, Marco; Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria: Compositional modeling of complex systems: Contact center scenarios in OsMoSys (2004)
  16. Kwiatkowska, Marta; Norman, Gethin; Parker, David: Probabilistic symbolic model checking with prism: a hybrid approach (2004) ioport
  17. Bohnenkamp, H.; Hermanns, H.; Katoen, J.-P.; Klaren, R.: The Modest modeling tool and its implementation. (2003) ioport
  18. Gaeta, Rossano; Sereno, Matteo; Manini, Daniele: Stochastic Petri nets models for the performance analysis of TCP connections supporting finite data transfer (2003)
  19. Hermanns, Holger; Joubert, Christophe: A set of performance and dependability analysis components for CADP (2003)
  20. Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter: Automated performance and dependability evaluation using model checking (2002)

1 2 next

Further publications can be found at: