Reachability in Vector Addition Systems is Ackermann-complete

Vector Addition Systems and equivalent Petri nets are a well established models of concurrency. The central algorithmic problem for Vector Addition Systems with a long research history is the reachability problem asking whether there exists a run from one given configuration to another. We settle it...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings / annual Symposium on Foundations of Computer Science s. 1229 - 1240
Hlavní autoři:	Czerwinski, Wojciech, Orlikowski, Lukasz
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.02.2022
Témata:	ackermann completeness Complexity theory Computer science Concurrent computing History Petri nets reachability problem vector addition systems
ISSN:	2575-8454
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!