Title :
An algebra for branching processes
Author :
Delfieu, David ; Sogbohossou, Medesu
Author_Institution :
IRCCyN, Nantes, France
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.
Keywords :
Petri nets; algebra; Petri nets; algebra; branching processes; canonic representation; causality; concurrency; reduction rules; Aggregates; Algebra; Computational modeling; Concurrent computing; Parallel processing; Petri nets; Semantics;
Conference_Titel :
Control, Decision and Information Technologies (CoDIT), 2013 International Conference on
Conference_Location :
Hammamet
Print_ISBN :
978-1-4673-5547-6
DOI :
10.1109/CoDIT.2013.6689616
