Skip to Main content Skip to Navigation
Journal articles

An algebraic condition for product form in stochastic automata networks without synchronizations

Jean-Michel Fourneau 1, 2 Brigitte Plateau 2 William J. Stewart
2 MESCAL - Middleware efficiently scalable
Inria Grenoble - Rhône-Alpes, LIG [2007-2015] - Laboratoire d'Informatique de Grenoble [2007-2015]
Abstract : We consider Stochastic Automata Networks (SANs) in continuous time and we prove a sufficient condition for the steady-state distribution to have product form. We consider synchronization-free SANs in which the transitions of one automaton may depend upon the states of the other automata. This model can represent efficiently multidimensional Markov chains whose transitions are limited to one component but whose rates may depend on the state of the chain. The sufficient condition we obtain is quite simple and our theorem generalizes former results on SANs as well as results on modulated Markovian queues, such as Boucherie's theory on competing Markov chain, on reversible queues considered by Kelly and on modulated Jackson queueing networks studied by Zhu. The sufficient condition and the proof are purely algebraic and are based on the intersection of kernels for a certain set of matrices.
Complete list of metadatas
Contributor : Arnaud Legrand <>
Submitted on : Friday, February 28, 2014 - 2:10:52 PM
Last modification on : Thursday, October 8, 2020 - 1:30:05 PM





Jean-Michel Fourneau, Brigitte Plateau, William J. Stewart. An algebraic condition for product form in stochastic automata networks without synchronizations. Performance Evaluation, Elsevier, 2008, 85, pp.854-868. ⟨10.1016/j.peva.2008.04.007⟩. ⟨hal-00953605⟩



Record views