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.
Origin : Files produced by the author(s)
Loading...