Skip to Main content Skip to Navigation
Reports

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers

Samy Abbes 1 Albert Benveniste 2
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This model builds upon our previous work on probabilistic event structures. We use the notion of branching cell for event structures and show that the latter provides the adequate notion of local state, for nets. We prove a Law of Large Numbers (LLN) for Markov nets---this constitutes the main contribution of the paper. This LLN allows characterizing in a quantitative way the asymptotic behavior of Markov nets. \\ On introduit le modèle des Réseaux markoviens, une extension probabiliste des Réseaux de Petri saufs avec sémantique de la concurrence vraie. Ce travail s'appuie sur un travail précédent concernant les structures d'événements probabilistes. On utilise la notion de cellule de branchement et on montre qu'un repliement de celles-ci fournit la bonne notion d'état local. On montre une loi des grands nombres sous concurrence, ce qui est la contribution principale de cet article.
Document type :
Reports
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000465
Contributor : Anne Jaigu <>
Submitted on : Thursday, October 20, 2005 - 3:31:19 PM
Last modification on : Thursday, January 7, 2021 - 4:18:25 PM
Long-term archiving on: : Thursday, April 1, 2010 - 10:51:14 PM

Identifiers

  • HAL Id : inria-00000465, version 1

Citation

Samy Abbes, Albert Benveniste. True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers. [Research Report] PI 1753, 2005, pp.59. ⟨inria-00000465⟩

Share

Metrics

Record views

297

Files downloads

264