Probabilistic I/O automata (PIOAs) provide a modelling framework that is well suited for describing and analyzing distributed and concurrent systems. They incorporate a notion of probabilistic choice as well as a notion of composition that allows one to construct a PIOA for a composite system from a collection of simpler PIOAs representing the components. Differently from other probabilistic models, the local actions of a PIOA are associated with time delays governed by independent random variables with continuous-time exponential distributions. The contribution of this paper consists in studying the product-form property for PIOAs. Our main result is the formulation of a theorem giving sufficient conditions for a composition of PIOAs to be in product-form and hence to efficiently compute its stationary probabilities.
|Data di pubblicazione:||2016|
|Titolo:||Product-forms for Probabilistic Input/Output Automata|
|Titolo del libro:||Proc. of 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016)|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1109/MASCOTS.2016.19|
|Appare nelle tipologie:||4.1 Articolo in Atti di convegno|
File in questo prodotto:
|mascots16b.pdf||Fulltext||Versione dell'editore||Accesso chiuso-personale||Riservato|