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.
CITATION STYLE
Balsamo, S., Marin, A., & Stojic, I. (2016). Spnps: A tool for perfect sampling in stochastic petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9826 LNCS, pp. 163–166). Springer Verlag. https://doi.org/10.1007/978-3-319-43425-4_11
Mendeley helps you to discover research relevant for your work.