Search

• < Previous
• 1
• Next >

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known to be decidable by algorithms exclusively based on the classical Kosaraju-Lambert-Mayr-Sacerdote-Tenney decomposition. This decomposition is used in this paper to prove that&nbsp;[&hellip;]