https://9lib.org/document/yj7r7enm-complexity-reachability-vector-addition-systems-sylvain-schmitz.html