Formalization of Karp-Miller tree construction on petri nets. - Mitsuharu Yamamoto; Shogo Sekine; Saki Matsumoto (CPP, 2017)