https://123dok.net/document/z1d49l1v-on-binary-words-being-petri-net-solvable.html