- Tytuł:
- Decidability Problems of a Basic Class of Object Nets
- Autorzy:
-
Dietze, R.
Kudlek, M.
Kummer, O. - Data publikacji:
- 2007
- Słowa kluczowe:
-
object Petri-net
multiset rewriting
Dickson's lemma
Karp Miller algorithm - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł