Property preserving operation for simplifying Petri nets with inhibitor arcs
MO Li-ping YUE Xiaobo ZHOU Kai-qing ZHANG Zhao-hai
Journal of Computer Applications . 2012, (11): 3071 -3074 .  DOI: 10.3724/SP.J.1087.2012.03071