S-composition and liveness analysis of logic Petri nets
WANG Lu1, JIANG Xia2, DU Yuyue1
Computer Engineering and Applications . 2016, (18): 31 -35 .