https://123dok.net/document/yd7kr74e-backward-reachability-colored-petri-nets-systems-diagnosis.html