Abstract
This paper presents a tool spnps for perfect sampling (PS) in stochastic Petri nets (SPN). SPNs are an important formalism for performance evaluation of telecommunication systems and computer hardware and software architectures. Stochastic process underlying an SPN is a continuous time Markov chain, and the tool obtains samples from this chain, distributed according to its stationary probability distribution. The tool is implemented in C++ and is based on an efficient implementation of coupling from the past, an algorithm for PS in Markov chains. It can be obtained at http://www.dais.unive.it/~stojic/soft.html.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The GNU General Public License v3.0 - GNU Project - Free Software Foundation, http://www.gnu.org/licenses/gpl-3.0.en.html.
- 2.
Ivan Stojic - software, http://www.dais.unive.it/~stojic/soft.html.
References
Balsamo, S., Marin, A., Stojic, I.: Perfect sampling in stochastic Petri nets using decision diagrams. In: Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), 2015 IEEE 23rd International Symposium on. pp. 126–135., October 2015
Bouillard, A., Bušić, A., Rovetta, C.: Perfect sampling for closed queueing networks. Performance Evaluation 79, 146–159 , special Issue: Performance 2014(2014)
Bouillard, A., Gaujal, B.: Backward coupling in Petri nets. In: Proceedings of the 1st International Conference on Performance Evaluation Methodologies and Tools. VALUETOOLS ’06, NY, USA. ACM, New York (2006)
Bušić, A., Gaujal, B., Perronnin, F.: Perfect Sampling of Networks with Finite and Infinite Capacity Queues. In: Al-Begain, K., Fiems, D., Vincent, J.-M. (eds.) ASMTA 2012. LNCS, vol. 7314, pp. 136–149. Springer, Heidelberg (2012)
Bušić, A., Gaujal, B., Vincent, J.M.: Perfect simulation and non-monotone Markovian systems. In: VALUETOOLS ’08: Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools. pp. 1–10. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), ICST, Brussels, Belgium, Belgium (2008)
Ciardo, G.: Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 17–34. Springer, Heidelberg (2004)
Haas, P.J.: Stochastic Petri nets: Modelling, stability, simulation. Springer-Verlag, New York (2002)
Kam, T., Villa, T., Brayton, R., Sangiovanni-Vincentelli, A.: Multi-valued decision diagrams: theory and applications. Multiple-Valued Logic 4(1), 9–62 (1998)
Law, A.M., Kelton, D.M.: Simulation Modeling and Analysis. McGraw-Hill Higher Education, 3rd edn. (1999)
Panneton, F., L’Ecuyer, P., Matsumoto, M.: Improved long-period generators based on linear recurrences modulo 2. ACM Trans. Math. Softw. 32(1), 1–16 (2006). http://acm.org/10.1145/1132973.1132974
Propp, J.G., Wilson, D.B.: Exact sampling with coupled Markov chains and applications to statistical mechanics. Random Struct. Algorithms 9(1–2), 223–252 (1996)
Weber, M., Kindler, E.: The Petri net markup language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 124–144. Springer, Berlin Heidelberg (2003)
Acknowledgment
Work partially supported by MIUR fund Fondo per il sostegno dei giovani “Programma strategico: ICT e componentistica elettronica”.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Balsamo, S., Marin, A., Stojic, I. (2016). Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets. In: Agha, G., Van Houdt, B. (eds) Quantitative Evaluation of Systems. QEST 2016. Lecture Notes in Computer Science(), vol 9826. Springer, Cham. https://doi.org/10.1007/978-3-319-43425-4_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-43425-4_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-43424-7
Online ISBN: 978-3-319-43425-4
eBook Packages: Computer ScienceComputer Science (R0)