Title :
SPNP: stochastic Petri net package
Author :
Ciardo, Gianfranco ; Muppala, Jogesh ; Trivedi, Kishor
Author_Institution :
Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
Abstract :
SPNP, a powerful GSPN package that allows the modeling of complex system behaviors, is presented. Advanced constructs are available in SPNP such as marking-dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; the full expressive power of the C programming language is also available to increase the flexibility of the net description. Sophisticated steady-state and transient solvers are available including cumulative and up-to-absorption measures. The user is not limited to a predefined set of measures; detailed expressions reflecting exactly the measures sought can be easily specified. The authors conclude by comparing SPNP with two other SPN-based packages, Great SPN and METASAN
Keywords :
Petri nets; performance evaluation; software packages; stochastic processes; C programming language; Great SPN; METASAN; complex system behaviors; enabling functions; marking-dependent arc multiplicities; modeling; steady state solvers; stochastic Petri net package; subnets; transient solvers; Availability; Computer science; Fault tolerant systems; Markov processes; Packaging; Performance analysis; Productivity; Reliability; State-space methods; Stochastic processes;
Conference_Titel :
Petri Nets and Performance Models, 1989. PNPM89., Proceedings of the Third International Workshop on
Conference_Location :
Kyoto
DOI :
10.1109/PNPM.1989.68548
