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 Haddad, Serge 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 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 all top 5 Cited in 13 Serials 7 Performance Evaluation 3 Mathematical and Computer Modelling 2 Theoretical Computer Science 1 Acta Informatica 1 Applied Numerical Mathematics 1 Algorithmica 1 Journal of Parallel and Distributed Computing 1 European Journal of Operational Research 1 ACM Transactions on Modeling and Computer Simulation 1 Fundamenta Informaticae 1 1 Informatik-Fachberichte 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 47 Computer science (68-XX) 7 Probability theory and stochastic processes (60-XX) 4 Numerical analysis (65-XX) 4 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 Biology and other natural sciences (92-XX) Citations by Year