Product form for Stochastic Automata Networks - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Product form for Stochastic Automata Networks


We consider Stochastic Automata Networks (SAN) in continuous time and we prove a sufficient condition for the steady-state distribution to have product form. We consider SAN without synchronizations where the transitions of one automaton may depend of the states of the other automata. Even with this restriction, this sufficient condition is quite simple and this theorem generalizes former results on SAN but also on modulated Markovian queues, such as the Boucherie's theory on competing Markov chain, or on reversible queues considered by Kelly. The sufficient condition and the proof are purely algebraic.
Fichier principal
Vignette du fichier
productValue.pdf (207.38 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00203526 , version 1 (10-01-2008)



Jean-Michel Fourneau, Brigitte Plateau, William J. Stewart. Product form for Stochastic Automata Networks. 2nd International Conference on Performance Evaluation Methodologies and Tools, Oct 2007, Nantes, France. pp.1-10, ⟨10.4108/valuetools.2007.1980⟩. ⟨hal-00203526⟩
159 View
467 Download



Gmail Facebook Twitter LinkedIn More