- Tytuł:
- Nets with Tokens which Carry Data
- Autorzy:
-
Lazić, R.
Newcomb, T.
Ouaknine, J.
Roscoe, A.W.
Worrell, J. - Data publikacji:
- 2008
- Słowa kluczowe:
-
Petri net
infinite-state systems
program verification
computational complexity - Pokaż więcej
- Dostawca treści:
- BazTech