TY  - Journal of Beijing University of Posts and Telecommunications
A1  - HAN Xiao-guang, CHEN Zeng-qiang, ZHANG Kui-ze, LIU Zhong-xin, ZHANG Qing
T1  - STP-Based Approach to Modeling and Reachability Analysis of a Class of Petri Net Systems
Y1  - 2016-12-28 00:00:00.0
JF  - Journal of Beijing University of Posts and Telecommunications
JO  - Journal of Beijing University of Posts and Telecommunications
SP  - 72
EP  - 76
VL  - 39
IS  - 6
UR  - {https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2016.06.014}
N1  - 10.13190/j.jbupt.2016.06.014
ER  -