Markov nets: probabilistic models for distributed and concurrent systems

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. Motivated by the monitoring of distributed systems and in particular of telecommunications networks, we develop Markov nets as an extension of Markov chains and hidden Markov models 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 neither global state nor global linear time are available. Instead, we use only local states in combination with a partial order model of time. Our basic mathematical tool is that of Petri net unfoldings.