ARCA è l'archivio istituzionale ad accesso aperto della ricerca dell'Università Ca' Foscari Venezia e nasce nel 2014 con lo scopo di raccogliere, diffondere e conservare la produzione scientifica dell'Università. Costituisce di fatto il catalogo della ricerca di Ateneo.ARCA è un sistema Open Access: è non solo consultabile da tutti e visibile nei motori di ricerca, ma anche interoperabile con il portale cerCa. In questo modo vengono valorizzate la produzione scientifica dell'Ateneo e la visibilità dei ricercatori.
EnglishThis 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.
| Autori: | ||
| Data di pubblicazione: | 2016 | |
| Titolo: | Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets | |
| Titolo del libro: | Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-319-43425-4_11 | |
| Appare nelle tipologie: | 4.1 Articolo in Atti di convegno |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| paper_34.pdf | Postprint | Documento in Post-print | Accesso chiuso-personale | Riservato |
Copyright © 2022