- Tytuł:
- Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States
- Autorzy:
-
Jančar, Petr
Leroux, Jérôme
Sutre, Grégoire - Data publikacji:
- 2019
- Słowa kluczowe:
-
vector addition system
Petri net
co-finite reachability set
universal reachability set
structural liveness
complexity - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł