- Tytuł:
- Verification of Scenarios in Petri Nets Using Compact Tokenflows
- Autorzy:
-
Bergenthum, R.
Lorenz, R. - Data publikacji:
- 2015
- Słowa kluczowe:
-
Petri nets
information theory
algorithms
problem solving
language - Pokaż więcej
- Dostawca treści:
- BazTech