On Cyclic Orders and Synchronisation Graphs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2000

On Cyclic Orders and Synchronisation Graphs

Stefan Haar

Résumé

We use a dedicated quotient operation called winding to give a new characteriz- ation of orientable cyclic orders; the characterization is twofold, in terms of partial orders and of separation properties. For this, we show the application to Petri nets: by winding causal nets, one obtains cyclic orders on synchronization graph that yield live and safe markings and describe the concurrent behavior of the system under these markings. Moreover, we characterize admissible action refinements on such nets by quotients of the corresponding (cyclic or acyclic) order structure.

Domaines

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

Dates et versions

inria-00072637 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072637 , version 1

Citer

Stefan Haar. On Cyclic Orders and Synchronisation Graphs. [Research Report] RR-4007, INRIA. 2000. ⟨inria-00072637⟩
61 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More