https://123dok.net/document/zkw1m5pz-occam-s-razor-applied-to-the-petri-net-coverability-problem.html