https://123dok.net/document/z1d9617p-on-the-context-freeness-problem-vector-addition-systems.html