一类petri网系统建模与可达性分析的stp方法-北京邮电大学学报.pdf

2016年12月 北 京 邮 电 大 学 学 报 Dec.2016 第39卷 第6期 Journal of Beijing University of Posts and Telecommunications Vol.39 No.6 摇 摇 文章编号:1007鄄5321(2016)06鄄0072鄄05 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)方法研究了一类Petri 网系统(PNSs)的建模和可达性问题. 首先,利用STP 将这类 PNSs 的动态演化表示为离散时间双线性方程;然后,给出了这类PNSs 的变迁-状态邻接矩阵的定义,利用所建立 的双线性方程和变迁-状态邻接矩阵给出了这类 PNSs状态可达性判别的几个充要条件,同时设计了计算这类 PNSs任意两可达状态的所有路径的有效算法;最后,用实例说明了所得结果的可行性与有效性. 关摇 键摇 词:Petri 网系统;可达性;矩阵的半张量积;变迁-状态转移矩阵;变迁-状态邻接矩阵 中图分类号:TP273摇 摇 摇 摇 文献标志码:A STP鄄Based Approach to Modeling and Reachability Analysis of a Class of Petri Net Systems 1,2 1,2,3 4 1,2 3 HANXiao鄄guang ,摇 CHENZeng鄄qiang ,摇 ZHANGKui鄄ze ,摇 LIUZhong鄄xin ,摇 ZHANGQing (1.College of Computer and Control Engineering,Nankai University,Tianjin300350,China; 2.Tianjin Key Laboratory of Intelligent Robotics,Nankai University,Tianjin300350,China; 3.College of Science,Civil Aviation University of China,Tianjin300300,China; 4.College of Automation,Harbin Engineering University,Harbin 150001,China) Abstract:Modeling and reachability of a class of Petri net systems (PNSs) by using the semi鄄tensor product of matrices (STP)wasinvestigated. First,the dynamicsof PNSs,by resorting to STP,are con鄄 verted into a discrete鄄timebilinear equation. Second,thetransition鄄state adjacency