Improving Reachability in Vector Addition Systems through Pumpability

Weijun Chen, Yuxi Fu, Yangluo Zheng

Vector addition systems (VAS) constitute an important model of computation and concurrency that is equally expressive as the Petri net model. Recently, a lot of research has been c…