https://123dok.net/document/qo5vn71k-minimal-coverability-petri-nets-karp-miller-algorithm-pruning.html