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 21 to 40 of 57.
Sorted by year (citations)
  1. Ciardo, Gianfranco; Lüttgen, Gerald; Yu, Andy Jinqing: Improving static variable orders via invariants (2007)
  2. Hamez, Alexandre; Kordon, Fabrice; Thierry-Mieg, Yann; Legond-Aubry, Fabrice: dmcG: a distributed symbolic model checker based on GreatSPN (2007) ioport
  3. Petriu, Dorina C.; Shen, Hui; Sabetta, Antonino: Performance analysis of aspect-oriented UML models (2007) ioport
  4. Kostin, Alexander E.: A reachability algorithm for general Petri nets based on transition invariants (2006)
  5. Codetta-Raiteri, Daniele: The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation (2005)
  6. Evangelista, Sami: High level Petri nets analysis with Helena (2005)
  7. Barros, João Paulo; Gomes, Luís: On the use of coloured Petri nets for object-oriented design (2004)
  8. Franceschinis, Giuliana; Gribaudo, Marco; Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria: Compositional modeling of complex systems: Contact center scenarios in OsMoSys (2004)
  9. Kwiatkowska, Marta; Norman, Gethin; Parker, David: Probabilistic symbolic model checking with prism: a hybrid approach (2004) ioport
  10. Delzanno, Giorgio; Raskin, Jean-François; Van Begin, Laurent: Covering sharing trees: a compact data structure for parameterized verification (2003) ioport
  11. Gaeta, Rossano; Sereno, Matteo; Manini, Daniele: Stochastic Petri nets models for the performance analysis of TCP connections supporting finite data transfer (2003)
  12. Hermanns, Holger; Joubert, Christophe: A set of performance and dependability analysis components for CADP (2003)
  13. Thierry-Mieg, Yann; Dutheillet, Claude; Mounier, Isabelle: Automatic symmetry detection in well-formed nets (2003)
  14. Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter: Automated performance and dependability evaluation using model checking (2002)
  15. Bernardo, Marco; Busi, Nadia; Ribaudo, Marina: Integrating TwoTowers and GreatSPN through a compact net semantics. (2002)
  16. Donatelli, Susanna; Ferro, Liliana: Validation of GSPN and SWN models through the PROD tool (2002)
  17. Franceschinis, Giuliana; Gribaudo, M.; Iacono, M.; Mazzocca, N.; Vittorini, V.: DrawNET++: Model objects to support performance analysis and simulation of systems (2002)
  18. Gharbi, Nawel; Ioualalen, Malika: Performance analysis of retrial queueing systems using generalized stochastic Petri nets (2002)
  19. Bernardi, S.; Donatelli, S.; Horváth, A.: Implementing compositionality for stochastic Petri nets (2001)
  20. Carvajal-Schiaffino, Rubén; Delzanno, Giorgio; Chiola, Giovanni: Combining structural and enumerative techniques for the validation of bounded Petri nets (2001)

Further publications can be found at: