Concurrency, sigma-algebras and probabilistic fairness

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 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
Document type :
Conference papers
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00267518
Contributor : Samy Abbes <>
Submitted on : Wednesday, December 24, 2008 - 10:59:33 AM
Last modification on : Friday, January 4, 2019 - 5:32:59 PM
Long-term archiving on : Saturday, November 26, 2016 - 3:50:13 AM

File

abbes-benveniste-2008.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00267518, version 4

Citation

Samy Abbes, Albert Benveniste. Concurrency, sigma-algebras and probabilistic fairness. FOSSACS 2009, Mar 2009, York, United Kingdom. pp.380-394. ⟨hal-00267518v4⟩

Share

Metrics

Record views

503

Files downloads

116