On the domain of traces and sequential composition
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
Branching processes of Petri nets
Acta Informatica
Theoretical Computer Science
Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
Place or Transition Petri Nets
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Associative Omega-products of Traces
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Place/Transition Petri net Evolutions: Recording Ways, Analysis and Synthesis
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
ω-Process Languages for Place/Transition Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Net-Definability of Process Languages
Fundamenta Informaticae
Hi-index | 0.00 |
The notion of an associative omega-product is applied to processes. Processes are one of the ways to represent behavior of Petri nets. They have been studied for some years as an alternative to traces and dependence graphs. One advantage of processes, as compared to traces, is a very simple way to define infinite concatenation. We take a closer look at this operation, and show that it is a free associative omega-product of finite processes. Its associativity simplifies some arguments about infinite concatenation, as illustrated by the proof of interleaving theorem.