An algebra for branching processes - Archive ouverte HAL
Article Dans Une Revue Control, Decision and Information Technologies (CoDIT), 2013 International Conference on Année : 2013

An algebra for branching processes

Résumé

—The unfolding process of Petri Nets produces a set of causal nets where nodes are conditions or events and arcs express relations of causality, conflict or concurrency called branching processes. We propose in this paper an algebra and reduction rules allowing to extract informations, relation on events and a canonic representation of branching processes.
Fichier principal
Vignette du fichier
codit13_Delfieu_Sogbohossou.pdf (557.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01111131 , version 1 (03-02-2015)

Identifiants

Citer

David Delfieu, Médésu Sogbohossou. An algebra for branching processes. Control, Decision and Information Technologies (CoDIT), 2013 International Conference on, 2013, pp.625 - 634. ⟨10.1109/CoDIT.2013.6689616⟩. ⟨hal-01111131⟩
122 Consultations
119 Téléchargements

Altmetric

Partager

More