SPNP: Stochastic Petri Net Package

We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; in addition, the full expressive power of the C programming language is available to increase the flexibility of the net description. Sophisticated steady-state and transient solvers are available; cumulative and up-to-absorption measures can be computed. In addition, the user is not limited to a predefined set of measures: detailed expressions reflecting exactly the measures sought can be easily specified. We conclude comparing SPNP with two other SPN-based packages, GreatSPN and METASAN.

• Type: Conference
• Year: 1989
• Where: PNPM
• Authors: Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi
• Keywords: Artificial Intelligence, Complex System Behaviors, Markingdependent Arc Multiplicities, PNPM 1989, Powerful Gspn Package