Reachability analysis of Petri net based on constraint optimization
YANG Xia'ni LONG Faning ZHANG Yuanxia
Journal of Computer Applications . 2013, (04): 1128 -1131 .  DOI: 10.3724/SP.J.1087.2013.01128