Skip to Main content Skip to Navigation
Conference papers

Product form for Stochastic Automata Networks

Abstract : 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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00203526
Contributor : Brigitte Plateau <>
Submitted on : Thursday, January 10, 2008 - 1:46:37 PM
Last modification on : Friday, January 10, 2020 - 3:42:19 PM
Document(s) archivé(s) le : Thursday, September 27, 2012 - 2:01:14 PM

File

productValue.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00203526, version 1

Collections

CNRS | INRIA | LIG | UGA | UVSQ

Citation

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

Share

Metrics

Record views

403

Files downloads

752