https://123dok.net/document/zkw0on3p-simple-graph-construction-semilinear-reachability-vector-addition-systems.html