Some decidable cases of the reachability problem for vector addition systems - Pansiot, Jean-Jacques (1976)