逻辑Petri网的S-组合及活性分析
王 路1,蒋 霞2,杜玉越1
S-composition and liveness analysis of logic Petri nets
WANG Lu1, JIANG Xia2, DU Yuyue1
计算机工程与应用 . 2016, (18): 31 -35 .