collaborators

1 paper

cs.FL2024

The Tractability Border of Reachability in Simple Vector Addition Systems with States

Dmitry Chistikov, Wojciech Czerwiński, Filip Mazowiecki +3

Vector Addition Systems with States (VASS), equivalent to Petri nets, are a well-established model of concurrency. The central algorithmic challenge in VASS is the reachability pro…