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.
Domaines
Théorie et langage formel [cs.FL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...