- Tytuł:
- An Axiomatic Characterization of Algebras of Processes of Petri Nets
- Autorzy:
- Winkowski, J.
- Data publikacji:
- 2006
- Słowa kluczowe:
-
Petri net
states
process
sequential composition
parallel composition
category
partial monoid - Pokaż więcej
- Dostawca treści:
- BazTech