Petr Jancar, Jérôme Leroux, Grégoire Sutre. Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States. In Victor Khomenko, Olivier H. Roux, editors, Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Volume 10877 of Lecture Notes in Computer Science, pages 184-203, Springer, 2018. [doi]
Abstract is missing.