A Slicing-based Approach to Enhance Petri Net Reachability Analysis. - Woo Jin Lee; Sung Deok Cha; Yong Rae Kwon; H. N. Kim (J. Res. Pract. Inf. Technol., 2000)