Skip to Main content Skip to Navigation
Journal articles

An algebra for branching processes

Abstract : —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.
Document type :
Journal articles
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01111131
Contributor : David Delfieu <>
Submitted on : Tuesday, February 3, 2015 - 10:19:35 AM
Last modification on : Thursday, February 7, 2019 - 4:20:48 PM
Long-term archiving on: : Wednesday, May 27, 2015 - 3:57:41 PM

File

codit13_Delfieu_Sogbohossou.pd...
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

282

Files downloads

308