中国科学院数学与系统科学研究院期刊网
有界Petri网的可逆性和活性的STP判别方法
韩晓光，陈增强，刘忠信，张青
STP-BASED JUDGMENT METHOD OF REVERSIBILITY AND LIVENESS OF BOUNDED PETRI NETS
HAN Xiaoguang,CHEN Zengqiang,LIU Zhongxin,ZHANG Qing
系统科学与数学 . 2016, (3): 361 -370 .  DOI: 10.12341/jssms12739