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î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. Ciardo, Gianfranco; Mecham, Galen; Paviot-Adet, Emmanuel; Wan, Min: P-semiflow computation with decision diagrams (2009)
  7. Gharbi, Nawel; Dutheillet, Claude; Ioualalen, Malika: Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems (2009)
  8. Capra, Lorenzo; Cazzola, Walter: Evolutionary design through reflective Petri nets: an application to workflow (2008)
  9. Gharbi, Nawel: On the applicability of stochastic Petri nets for analysis of multiserver retrial systems with different vacation policies (2008)
  10. Macià, Hermenegilda; Valero, Valentin; Cuartero, Fernando; Ruiz, M. Carmen: sPBC: a Markovian extension of Petri box calculus with immediate multiactions (2008)
  11. Balbo, Gianfranco: Introduction to generalized stochastic Petri nets (2007)
  12. Beccuti, M.; Franceschinis, G.; Haddad, S.: Markov decision Petri net and Markov decision well-formed net formalisms (2007)
  13. Ciardo, Gianfranco; Lüttgen, Gerald; Yu, Andy Jinqing: Improving static variable orders via invariants (2007)
  14. Kostin, Alexander E.: A reachability algorithm for general Petri nets based on transition invariants (2006)
  15. Evangelista, Sami: High level Petri nets analysis with Helena (2005)
  16. Barros, João Paulo; Gomes, Luís: On the use of coloured Petri nets for object-oriented design (2004)
  17. Franceschinis, Giuliana; Gribaudo, Marco; Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria: Compositional modeling of complex systems: Contact center scenarios in OsMoSys (2004)
  18. Kwiatkowska, Marta; Norman, Gethin; Parker, David: Probabilistic symbolic model checking with prism: a hybrid approach (2004) ioport
  19. Bohnenkamp, H.; Hermanns, H.; Katoen, J.-P.; Klaren, R.: The Modest modeling tool and its implementation. (2003) ioport
  20. Delzanno, Giorgio; Raskin, Jean-François; Van Begin, Laurent: Covering sharing trees: a compact data structure for parameterized verification (2003) ioport

1 2 3 next

Further publications can be found at: