The Vector Addition System Reversible Reachability Problem

Jérôme Leroux (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

The reachability problem for vector addition systems is a central problem of net theory. This problem is known to be decidable but the complexity is still unknown. Whereas the problem is EXPSPACE-hard, no elementary upper bounds complexity are known. In this paper we consider the reversible reachability problem. This problem consists to decide if two configurations are reachable one from each other. We show that this problem is EXPSPACE-complete. As an application of the introduced materials we characterize the reversibility domains of a vector addition system.

Domaines: Autre [cs.OH]

Jérôme Leroux. The Vector Addition System Reversible Reachability Problem. CONCUR 2011 - Concurrency Theory, 22th International Conference, Aachen, Germany, 5-10 September, 2011, Proceedings, Sep 2011, Aachen, Germany. pp.327-341, ⟨10.1007/978-3-642-23217-6_22⟩. ⟨hal-00599757⟩