×

GreatSPN

swMATH ID: 384
Software Authors: Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew
Description: 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. ..
Homepage: http://www.di.unito.it/~greatspn/index.html
Related Software: GreatSPN 1.7; TimeNET; CADP; SPNP; PEPA; PRISM; Meddly; LOTOS; SMART_; Möbius; DSPNexpress; libDDD; MRMC; MOSEL; lcpSim; Helena; SYROCO; DrawNET++; SPIN; SMP-tool
Cited in: 51 Publications
Further Publications: http://www.di.unito.it/~greatspn/index.html#References

Standard Articles

1 Publication describing the Software Year
GreatSPN enhanced with decision diagram data structures
Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew
2010
all top 5

Cited by 98 Authors

6 Franceschinis, Giuliana
5 Balbo, Gianfranco
4 Donatelli, Susanna
4 Hermanns, Holger
3 Beccuti, Marco
3 Capra, Lorenzo
3 Dutheillet, Claude
3 Gharbi, Nawel
3 Horváth, András
3 Sereno, Matteo
2 Angius, Alessio
2 Bibbona, Enrico
2 Buchholz, Peter
2 Chiola, Giovanni
2 Ciardo, Gianfranco
2 Gaeta, Rossano
2 Gribaudo, Marco
2 Haddad, Serge
2 Iacono, Mauro
2 Ioualalen, Malika
2 Katoen, Joost-Pieter
2 Kordon, Fabrice
2 Manini, Daniele
2 Mazzocca, Nicola
2 Ribaudo, Marina
2 Sirovich, Roberta
2 Thierry-Mieg, Yann
2 Vittorini, Valeria
1 Arlitt, Martin
1 Baarir, Souheib
1 Baier, Christel
1 Ballarini, Paolo
1 Barbot, Benoît
1 Barros, João Paulo
1 Bashirov, Rza
1 Bellettini, Carlo
1 Benoit, Anne
1 Bernardi, Simona
1 Bernardo, Marco
1 Busi, Nadia
1 Bussolino, Federico
1 Camilli, Matteo
1 Carvajal-Schiaffino, Rubén
1 Caselli, Stefano
1 Cazzola, Walter
1 Codetta-Raiteri, Daniele
1 Colange, Maximilien
1 Cordero, Francesca
1 Cuartero, Fernando
1 De Pierro, Massimiliano
1 Delzanno, Giorgio
1 Eggert, H.
1 Eisentraut, Christian
1 Evangelista, Sami
1 Ferro, Liliana
1 Friedrich, Rich
1 Gallet, Matthieu
1 Garavel, Hubert
1 Gaujal, Bruno
1 German, Reinhard
1 Gomes, Luis
1 Haverkort, Boudewijn R.
1 Ilié, Jean-Michel
1 Jin, Qun
1 Jin, Tai
1 Joubert, Christophe
1 Kaalen, Stefan
1 Kemper, Peter
1 Kostin, Alexander E.
1 Leszak, Marek
1 Lindemann, Christoph
1 Lort, Hüseyin
1 Lüttgen, Gerald
1 Macià, Hermenegilda
1 Marenzoni, Paolo
1 Marrone, Stefano
1 Mattsson, Olle
1 Mecham, Galen
1 Monga, Mattia
1 Moreaux, Patrice
1 Mounier, Isabelle
1 Napione, Lucia
1 Nyberg, Mattias
1 Pavan, Simona
1 Paviot-Adet, Emmanuel
1 Picaronny, Claudine
1 Picco, Andrea
1 Reid, Darryn J.
1 Robert, Yves
1 Ruiz, M. Carmen
1 Salimifard, Khodakaram
1 Sugasawa, Yoshio
1 Valero, Valentín
1 Veglio, Andrea
1 Wan, Min
1 Wright, Mike B.
1 Yu, Andy Jinqing
1 Zhang, Lijun

Citations by Year