Analysis Method of the Smallest Change Region with Dynamic Slice of Petri Nets
ZHAO Fang, FANG Xianwen, FANG Huan
Journal of Frontiers of Computer Science and Technology . 2016, (4): 516 -523 .  DOI: 10.3778/j.issn.1673-9418.1506077