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.

Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets

BALSAMO, Maria Simonetta;MARIN, Andrea;STOJIC, IVAN
2016

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.
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
File in questo prodotto:
File Dimensione Formato  
paper_34.pdf

non disponibili

Descrizione: Postprint
Tipologia: Documento in Post-print
Licenza: Accesso chiuso-personale
Dimensione 146.83 kB
Formato Adobe PDF
146.83 kB Adobe PDF   Visualizza/Apri

I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10278/3676682
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact