Branching cells as local states for event structures and nets: probabilistic applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2004

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

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

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-5347.pdf (352.18 Ko) Télécharger le fichier

Dates and versions

inria-00070655 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00070655 , version 1

Cite

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⟩
62 View
127 Download

Share

Gmail Facebook X LinkedIn More