×

SPNP

swMATH ID: 7933
Software Authors: Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi
Description: SPNP: Stochastic Petri Nets. The Stochastic Petri Net Package (SPNP) [2] is a versatile modeling tool for solution of Stochastic Petri Net (SPN) models. The SPN models are described in the input language for SPNP called CSPL (C-based SPN Language) which is an extension of the C programming language [8] with additional constructs which facilitate easy description of SPN models. Moreover, if the user does not want to describe his model in CSPL, a Graphical User Interface (GUI) is available to specify all the characteristics as well as the parameters of the solution method chosen to solve the model.
Homepage: https://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/spnp.html
Related Software: GreatSPN 1.7; DSPNexpress; GreatSPN; TimeNET; Möbius; ESP; SHARPE; PRISM; SMART_; MersenneTwister; MACOM; MOSEL; MPI/MPICH; HyTech; nuXmv; MathSAT5; UCLID; CUDD; MRMC; SPIN
Referenced in: 46 Publications
all top 5

Referenced by 90 Authors

12 Trivedi, Kishor Shridharbhai
4 Tuffin, Bruno
3 Carrasco, Juan Antonio
3 German, Reinhard
3 Haverkort, Boudewijn R.
3 Zimmermann, Armin
2 Bolch, Gunter
2 Chiola, Giovanni
2 de Meer, Hermann
2 Desrochers, Alan A.
2 Greiner, Stefan
2 Hommel, Günter
2 Ibe, Oliver Chukwudi
2 Kulkarni, Vidyadhar G.
2 Muppala, Jogesh K.
1 Al-Jaar, Robert Y.
1 Andrews, John D.
1 Baccelli, François Louis
1 Balbo, Gianfranco
1 Bernardeschi, Cinzia
1 Blakemore, Alex
1 Bondavalli, Andrea
1 Boucherie, Richard J.
1 Bozzano, Marco
1 Buchholz, Peter
1 Cai, BaiGen
1 Campos, Javier
1 Catania, Vincenzo
1 Chen, Dongsheng
1 Chen, Ing-Ray
1 Chimento, Philip E. jun.
1 Chu, Chih-Ping
1 Ciardo, Gianfranco
1 Cimatti, Alessandro
1 Coleman, J. L.
1 Csertán, Gyorgy
1 Csikász-Nagy, Attila
1 Franceschinis, Giuliana
1 Freiheit, Jörn
1 Gaeta, Rossano
1 Gao, ChunHai
1 Gaur, M. S.
1 Gharbi, Nawel
1 Gomaa, Hassan
1 Hansson, Hans
1 Hasan, Osman
1 Hemachandra, Nandyala
1 Henderson, William
1 Hermanns, Holger
1 Hirel, Christophe
1 Horton, Graham
1 Hrúz, Branislav
1 Ioualalen, Malika
1 Jonsson, Bengt
1 Joubert, Christophe
1 Kelling, Christian
1 Le Ny, Louis-Marie
1 Li, Quanlin
1 Li, Yajuan
1 Lin, Chuang
1 Lindemann, Christoph
1 Liu, Liya
1 Mainkar, Varsha
1 Majzik, Istvan
1 Mattarei, Cristian
1 Menascé, Daniel A.
1 Mishra, Kesari
1 Mura, Ivan
1 Narahari, Yadati
1 Neves, Luís Costa
1 Nicol, David M.
1 Pooley, Rob
1 Puliafito, Antonio
1 Rama, Dovile
1 Ribaudo, Marina
1 Riccobene, Salvatore
1 Sandadi, Upender R.
1 Simoncini, Luca
1 Somani, Arun K.
1 Tahar, Sofiène
1 Tang, Tao
1 Tarasyuk, Igor’ Valer’evich
1 Taylor, Peter Gerrard
1 Temsamani, Jamal
1 Tridandapani, Srinivasan
1 Vita, Lorenzo
1 Wang, Ding-Chau
1 Xu, TianHua
1 Yianni, Panayioti C.
1 Zhou, MengChu

Referencing Publications by Year