韩晓光¹，陈增强²，刘忠信³，张青⁴

1.南开大学计算机与控制工程学院, 天津 300071; 天津市智能机器人技术重点实验室,天津 300071;2.南开大学计算机与控制工程学院,天津 300071;中国民航大学理学院,天津 300300;3.南开大学计算机与控制工程学院,天津,300071;4.中国民航大学理学院,天津 300300

出版日期:2016-03-25发布日期:2016-03-24

STP-BASED JUDGMENT METHOD OF REVERSIBILITY AND LIVENESS OF BOUNDED PETRI NETS

HAN Xiaoguang ¹, CHEN Zengqiang² , LIU Zhongxin³ , ZHANG Qing⁴

1.College of Computer and Control Engineering, Nankai University, Tianjin 300071; Tianjin Key Laboratory of Intelligent Robotics, Tianjin 300071;2.College of Computer and Control Engineering, Nankai University, Tianjin 300071;College of Science, Civil Aviation University of China, Tianjin 300300;3.College of Computer and Control Engineering, Nankai University, Tianjin 300071;4.College of Science, Civil Aviation University of China, Tianjin 300300

Online:2016-03-25Published:2016-03-24







摘要
图/表
参考文献
相关文章
编辑推荐
-->Metrics
本文评论

基于矩阵半张量积(the semi-tensor product, STP)方法研究了有界Petri网系统的可逆性和活性问题. 首先, 利用先前所建立的有界Petri网系统的状态演化方程, 分别给出了有界Petri网系统的可逆性和活性判别的充要条件. 文章的结果是基于矩阵形式的, 利用Matlab的STP工具箱, 可将Petri网系统的可逆性和活性判别问题转化为简单直接的矩阵计算问题. 所提出的方法不仅形式简单、计算方便, 而且易于计算机实现. 其次, 两个实例说明了文章所提出方法的可行性和有效性.

MR(2010)主题分类:
93C65
37N35
分享此文:

()

[1]	高娜，韩晓光，陈增强，张青. 带有同步变迁的有界Petri网系统的建模及可达性分析[J]. 系统科学与数学, 2016, 36(7): 924-936.
[2]	桑波. 两类一致等时系统的小振幅极限环分支[J]. 系统科学与数学, 2016, 36(5): 728-735.
[3]	李睿，杨萌，楚天广. 概率布尔网络的集合镇定控制[J]. 系统科学与数学, 2016, 36(3): 371-380.
[4]	李芳菲，孙继涛. 切换布尔网络稳定性的牵制控制[J]. 系统科学与数学, 2016, 36(3): 390-398.
[5]	程代展，刘挺，王元华. 博弈论中的矩阵方法[J]. 系统科学与数学, 2014, 34(11): 1291-1305.
[6]	程代展，赵寅，徐听听. 演化博弈与逻辑动态系统的优化控制[J]. 系统科学与数学, 2012, 32(10): 1226-1238.
[7]	齐雅茹, 黄俊杰, 阿拉坦仓. 无界奇异$\mathscr{J}$-自伴算子矩阵的可逆性与可逆补[J]. 系统科学与数学, 2011, 31(5): 614-619.
[8]	陈丽娟;杨欣. 基于奇偶校验的Petri网控制器的故障检测[J]. 系统科学与数学, 2009, 29(2): 263-270.

-->

PDF全文下载地址:

http://sysmath.com/jweb_xtkxysx/CN/article/downloadArticleFile.do?attachType=PDF&id=12739