In: PNPM89. Proceedings of the Third International Workshop On Petri Nets and Performance Models, 1989, Kyoto, Japan, pages 142-151. Los Alamitos, CA, USA: IEEE Computer Society Press, 1990.
Abstract: The authors present SPNP, a GSPN package. It allows the modeling of complex system behaviors. Advanced constructs are available, such as marking-dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets. 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 easlily specified. The authors conclude comparing SPNP with two other SPN-based packages, GreatSPN and METASAN.
Keywords: SPNP (stochastic net package); generalized stochastic net; net tool.