HAL : hal-00267518, version 4

Fiche détaillée

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

FOSSACS 2009, York : Royaume-Uni (2009)

Versions disponibles :

v1 (27-03-2008)

v2 (02-04-2008)

v3 (23-12-2008)

v4 (26-12-2008)

Concurrency, sigma-algebras and probabilistic fairness

Samy Abbes 1, Albert Benveniste 2

(2009)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The set of runs of a safe Petri net is equipped with its Borel sigma-algebra F. The fine structure of F describes the complexity of choices along runs, and we show that a transfinite induction of finite degree is needed to explore all choices of runs in general. The degree is minimal (zero) when confusion is bounded, corresponding to the classes of confusion free and locally finite event structures. We relate this construction to probabilistic fairness by showing how to randomize the net equipped with its Borel sigma-algebra by using only the first step of our decomposition, and making it thus more effective. Hence the serious difficulty brought by the above transfiniteness in the application of Kolmogorov extension theorem is bypassed thanks to probabilistic fairness

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; Distribcom

Domaine

:

Informatique/Réseaux et télécommunications

hal-00267518, version 4

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

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

Contributeur : Samy Abbes <>

Soumis le : Mercredi 24 Décembre 2008, 10:59:33

Dernière modification le : Lundi 2 Février 2009, 10:51:59