DocumentCode
658039
Title
An algebra for branching processes
Author
Delfieu, David ; Sogbohossou, Medesu
Author_Institution
IRCCyN, Nantes, France
fYear
2013
fDate
6-8 May 2013
Firstpage
625
Lastpage
634
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Control, Decision and Information Technologies (CoDIT), 2013 International Conference on
Conference_Location
Hammamet
Print_ISBN
978-1-4673-5547-6
Type
conf
DOI
10.1109/CoDIT.2013.6689616
Filename
6689616
Link To Document