HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Branching cells as local states for event structures and nets: probabilistic applications

Samy Abbes 1 Albert Benveniste 1
1 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 study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets. This new object is called a branching cell, defined within the class of locally finite
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00070655
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 9:07:59 PM
Last modification on : Friday, February 4, 2022 - 3:23:58 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:40:01 PM

Identifiers

  • HAL Id : inria-00070655, version 1

Citation

Samy Abbes, Albert Benveniste. Branching cells as local states for event structures and nets: probabilistic applications. [Research Report] RR-5347, INRIA. 2004, pp.24. ⟨inria-00070655⟩

Share

Metrics

Record views

61

Files downloads

118