一类Petri网系统建模与可达性分析的STP方法
韩晓光, 陈增强, 张奎泽, 刘忠信, 张青
STP-Based Approach to Modeling and Reachability Analysis of a Class of Petri Net Systems
HAN Xiao-guang, CHEN Zeng-qiang, ZHANG Kui-ze, LIU Zhong-xin, ZHANG Qing
北京邮电大学学报
.
2016, (6): 72
-76
.
DOI: 10.13190/j.jbupt.2016.06.014
