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 41 to 57 of 57.
Sorted by year (citations)
  1. Caselli, S.; Conte, G.; Marenzoni, P.: A distributed algorithm for GSPN reachability graph generation (2001)
  2. Donatelli, S.; Kemper, P.: Integrating synchronization with priority into a Kronecker representation (2001)
  3. Salimifard, Khodakaram; Wright, Mike: Petri net-based modelling of workflow systems: An overview (2001)
  4. Arlitt, Martin; Friedrich, Rich; Jin, Tai: Performance evaluation of Web proxy cache replacement policies (2000)
  5. Ballarini, Paolo; Donatelli, Susanna; Franceschinis, Giuliana: Parametric stochastic well-formed nets and compositional modelling (2000)
  6. Capra, L.; Dutheillet, C.; Franceschinis, G.; Ilié, J.-M.: Exploiting partial symmetries for Markov chain aggregation (2000)
  7. German, Reinhard: Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype tool (2000)
  8. Buchholz, Peter: Structured analysis approaches for large Markov chains (1999)
  9. Buchholz, Peter: A new approach combining simulation and randomization for the analysis of large continuous time Markov chains (1998)
  10. Reid, D. J.: Constructing Petri net models using genetic search (1998)
  11. Sereno, Matteo; Balbo, Gianfranco: Mean value analysis of stochastic Petri nets (1997)
  12. Haddad, Serge; Moreaux, Patrice: Asynchronous composition of high level Petri nets: a quantitative approach (1996)
  13. Chiola, G.; Franceschinis, G.; Gaeta, R.; Ribaudo, M.: GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets (1995)
  14. Jin, Q.; Sugasawa, Y.: Representation and analysis of behavior for multiprocess systems by using stochastic Petri nets (1995)
  15. Cavalieri, S.; di Stefano, A.; Mirabella, O.: Distributed routing in packet-switching networks by counter propagation network (1994) ioport
  16. Lindemann, Christoph: An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models (1993)
  17. Leszak, M.; Eggert, H.: Petri-Netz-Methoden und -Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen (1988)

Further publications can be found at: