Branching cells as local states for event structures and nets: probabilistic applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2004

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

Résumé

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

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00070655 , version 1

Citer

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⟩
76 Consultations
127 Téléchargements

Partager

Gmail Facebook X LinkedIn More