TY  - 北京邮电大学学报
A1  - 韩晓光, 陈增强, 张奎泽, 刘忠信, 张青
T1  - 一类Petri网系统建模与可达性分析的STP方法
Y1  - 2016-12-28 00:00:00.0
JF  - 北京邮电大学学报
JO  - 北京邮电大学学报
SP  - 72
EP  - 76
VL  - 39
IS  - 6
UR  - {https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2016.06.014}
N1  - 10.13190/j.jbupt.2016.06.014
ER  -