- Tytuł:
- A Petri Net Based Modeling of Active Objects and Futures
- Autorzy:
-
de Boer, F. S.
Bravetti, M.
Lee, M. D.
Zavattaro, G. - Data publikacji:
- 2018
- Słowa kluczowe:
-
Petri nets
active objects
deadlock analysis - Pokaż więcej
- Dostawca treści:
- BazTech