Abstract
The Stochastic Petri Net Package (SPNP) [2] is a versatile modeling tool for solution of Stochastic Petri Net (SPN) models. The SPN models are described in the input language for SPNP called CSPL (C-based SPN Language) which is an extension of the C programming language [8] with additional constructs which facilitate easy description of SPN models. Moreover, if the user does not want to describe his model in CSPL, a Graphical User Interface (GUI) is available to specify all the characteristics as well as the parameters of the solution method chosen to solve the model.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
H. Choi et al. Markov Regenerative Stochastic Petri Nets. Performance Evaluation, 20(1–3):337–357, 1994.
G. Ciardo, J. K. Muppala, and K. S. Trivedi. SPNP: Stochastic Petri Net Package. Proc. of 3rd International Workshop on Petri Nets and Performance Models, pages 142–150, Kyoto, Japan, Dec. 1989.
G. Ciardo, D.M. Nicol, and K.S. Trivedi. Discrete-Event Simulation of Fluid Stochastic Petri-Nets. IEEE Trans. on Soft. Eng., 25(2):207–217, 1999.
Computer Science Department. College of Willian and Mary. On the Simulation of Stochastic Petri Nets.
G.S. Fishman. Monte Carlo: Concepts, Algorithms and Applications. Springer-Verlag, 1997.
P. W. Glynn and D. L. Iglehart. Importance Sampling for Stochastic Simulations. Management Science, 35(11):1367–1392, November 1989.
A. Goyal et al. A Unified Framework for Simulating Markovian Models of Highly Dependable Systems. IEEE Trans. on Computers, 41(1):36–51, Jan. 1992.
S. P. Harbison and G. L. Steele Jr. C — A Reference Manual. Prentice-Hall, 3 edition, 1991.
P. Heidelberger et al. Bounded Relative Error in estimating transient Measures of Highly Dependable Non-Markovian Systems. ACM Trans. on Modeling and Computer Simulation, 4(2):137–164, April 1994.
P.A.W. Lewis and G.S. Shedler. Simulation of nonhomogeneous Poisson processes by thinning. Naval Res. Logist. Quart., 26:403–413, 1979.
M. Malhotra et al. Stiffness-tolerant methods for transient analysis of stiff Markov chains. Microelectron. & Rel., 34(11):1825–1841, 1994.
V. F. Nicola et al. Fast Simulation of Highly Dependable Systems with General Failure and Repair Processes. IEEE Trans. on Computers, 42(12):1440–1452, December 1993.
W. J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.
B. Tuffin and K.S. Trivedi. Implementation of importance splitting techniques in stochastic petri net package. Computer performance evaluation: Modelling tools and techniques; 11th International Conference; TOOLS 2000, Schaumburg, Il., USA, March 2000.
W. B. van den Hout. The Power-Series Algorithm: A Numerical Approach to Markov Processes. Tilburg University, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hirel, C., Tuffin, B., Trivedi, K.S. (2000). SPNP: Stochastic Petri Nets. Version 6.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds) Computer Performance Evaluation.Modelling Techniques and Tools. TOOLS 2000. Lecture Notes in Computer Science, vol 1786. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46429-8_30
Download citation
DOI: https://doi.org/10.1007/3-540-46429-8_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67260-9
Online ISBN: 978-3-540-46429-7
eBook Packages: Springer Book Archive