- Tytuł:
- Conservative Elementary Object Systems
- Autorzy:
-
Köhler-Bußmeier, M.
Heitmann, F. - Data publikacji:
- 2012
- Słowa kluczowe:
-
Petri net
nets-within-net
nets as tokens
reachability
liveness
boundedness - Pokaż więcej
- Dostawca treści:
- BazTech