SPNP
The Stochastic Petri Net Editor (SPNP) is a Petri Net tool based on a GSPN-like formalism and a Markov Reward Model, called Stochastic Reward Net.
- Environment:
- Unix
- Origin:
- Department of Electrical Engineering, Duke University, Durham, USA
- Kind of Nets supported:
- Stochastic Reward Nets (SRN)
- Functionalities:
- Nets are described by a C based input language (CSPL - C based Stochastic Petri net Language)
- Reachability graph construction
- construction of the corresponding Continuous/Deterministic Time Markov Chain
- transient and steady-state performance and performability analysis
- Availability:
-
- References:
-
- G. Ciardo, K. S. Trivedi, J. Muppala: SPNP: stochastic Petri net package [ctm89]
- G. Ciardo, J. K. Muppala: Manual for the SPNP Package Version 4.0, January 1996
