A novel reduction approach for Petri net systems based on matching theory. - Victor R. L. Shen; Yu-Fang Chung; Shyi-Ming Chen; Jhong-Yi Guo (Expert Syst. Appl., 2013)