|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 4 gevonden artikelen
| Titel: |
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets |
| Auteur: |
Nadia Busi G. Michele Pinna |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 44 (2003) nr. 3 pagina's 209-244 |
| Jaar: |
2003-07-11 |
| Inhoud: |
The paper is centered around the study and comparison of truly concurrent semantics for P/T nets with inhibitor and read arcs (called henceforth contextual P/T nets). We start proposing a causal semantics for P/T nets, that we prove to be equivalent to history preserving bisimulation defined on nonsequential processes. Then we develop a conservative extension of the causal semantics to contextual P/T nets and we prove this one to be finer than step semantics. Finally, a comparison of causal semantics with the process based semantics for contextual P/T systems proposed in \cite{buspin99} is carried out. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 4 gevonden artikelen
| volgende >> |