- Tytuł:
- Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
- Autorzy:
-
Juhás, G.
Lorenz, R.
Mauser, S. - Data publikacji:
- 2008
- Słowa kluczowe:
-
theory of concurrency
algebraic Petri nets
causal semantics
process terms
synchronicity
inhibitor arcs - Pokaż więcej
- Dostawca treści:
- BazTech