HAL : hal-00349209, version 1

DOI : 10.1016/j.tcs.2007.09.018

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Theoretical Computer Science 390 (2008) 129-170

Probabilistic true-concurrency models: Markov nets and a Law of large numbers

Samy Abbes 1, Albert Benveniste 2

(2008)

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This means that traces, not firing sequences, are given a probability. 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, which constitutes the main contribution of the paper. This LLN allows characterizing in a quantitative way the asymptotic behavior of Markov nets.

1 :	Preuves, Programmes et Systèmes (PPS)
	CNRS : UMR7126 – Université Paris VII - Paris Diderot
2 :	DISTRIBCOM (INRIA - IRISA)
	CNRS : UMR6074 – INRIA – École normale supérieure de Cachan - ENS Cachan – INSA Rennes – Université de Rennes 1

Équipe de recherche : PPS;IRISA/INRIA

Domaine

:

Informatique/Réseaux et télécommunications Mathématiques/Probabilités

Mots Clés : Probabilistic event structures – true-concurrency – probability

hal-00349209, version 1

http://hal.archives-ouvertes.fr/hal-00349209

oai:hal.archives-ouvertes.fr:hal-00349209

Contributeur : Samy Abbes <>

Soumis le : Mercredi 24 Décembre 2008, 14:14:58

Dernière modification le : Vendredi 26 Décembre 2008, 12:45:32