北京邮电大学学报 ›› 2016, Vol. 39 ›› Issue (6): 72-76.doi: 10.13190/j.jbupt.2016.06.014
一类Petri网系统建模与可达性分析的STP方法
韩晓光1,2, 陈增强1,2,3, 张奎泽4, 刘忠信1,2, 张青3
- 1. 南开大学 计算机与控制工程学院, 天津 300350;
2. 天津市智能机器人技术重点实验室, 天津 300350;
3. 中国民航大学 理学院, 天津 300300;
4. 哈尔滨工程大学 自动化学院, 哈尔滨 150001
STP-Based Approach to Modeling and Reachability Analysis of a Class of Petri Net Systems
HAN Xiao-guang1,2, CHEN Zeng-qiang1,2,3, ZHANG Kui-ze4, LIU Zhong-xin1,2, ZHANG Qing3
- 1. College of Computer and Control Engineering, Nankai University, Tianjin 300350, China;
2. Tianjin Key Laboratory of Intelligent Robotics, Nankai University, Tianjin 300350, China;
3. College of Science, Civil Aviation University of China, Tianjin 300300, China;
4. College of Automation, Harbin Engineering University, Harbin 150001, China
