Skip to Main content Skip to Navigation

Markov Nets: Probabilistic Models for Distributed and Concurrent Systems

Albert Benveniste 1 Eric Fabre 1 Stefan Haar 1
1 SIGMA2 - Signal, models, algorithms
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : For distributed systems, i.e. large networked complex systems, there is a drastic difference between a local view and knowledge of the system, and its global view. Distributed systems have local state and time, but do not possess global state and time in the usual sense: it is simply not possible to determine, at any given instant, what the current global state of a telecommunication network is. In this paper, motivated by the monitoring of distributed systems and in particular of telecommunications networks, we develop an extension of Markov chains and hidden Markov models (HMM) for distributed and concurrent systems. By a concurrent system, we mean a system in which components may evolve independently, with sparse synchronizations. We follow a so-called true concurrency approach, in which no global state and no global time is available. Instead, we use only local states in combination with a partial order model of time, in which local events are ordered if they are either generated on the same site, or related via some causality relation. Our basic mathematical tool is that of Petri net unfoldings.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 8:25:36 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Sunday, April 4, 2010 - 11:04:17 PM


  • HAL Id : inria-00072335, version 1


Albert Benveniste, Eric Fabre, Stefan Haar. Markov Nets: Probabilistic Models for Distributed and Concurrent Systems. [Research Report] RR-4253, INRIA. 2001. ⟨inria-00072335⟩



Record views


Files downloads