Proof by model: a new knowledge-based reachability analysis methodology for Petri net. - Daniel Yuh Chao; Yen-Ping Chi; Tsung-Hsien Yu; Li-Chih Yu; Mike Y. J. Lee (IMA J. Math. Control. Inf., 2017)