By Topic
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
Published in:
Petri Nets and Performance Models, 1989. PNPM89., Proceedings of the Third International Workshop onDate of Conference:
11-13 Dec 1989- Page(s):
- 142 - 151
- Meeting Date :
- 11 Dec 1989-13 Dec 1989
- INSPEC Accession Number:
- 3668178
- Conference Location :
- Kyoto
- DOI:
- 10.1109/PNPM.1989.68548
- Publisher:
- IEEE
