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 <>
Submitted on : Friday, May 19, 2006 - 9:07:59 PM
Last modification on : Thursday, January 7, 2021 - 4:28:32 PM
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

259

Files downloads

292