|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 31 gevonden artikelen
| Titel: |
Associative Omega-product of Processes |
| Auteur: |
Redziejowski, Roman R. |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 72 (2006) nr. 1-3 pagina's 333-345 |
| Jaar: |
2006-08-08 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 31 gevonden artikelen
| << vorige | volgende >> |