高娜¹，韩晓光²，陈增强³，张青⁴

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

出版日期:2016-07-25发布日期:2016-07-21

MODELING AND REACHABILITY ANALYSIS OF BOUNDED PETRI NETS WITH SYNCHRONIZING TRANSITION

GAO Na ,HAN Xiaoguang , CHEN Zengqiang , ZHANG Qing

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

Online:2016-07-25Published:2016-07-21







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

由于存在可达标识集的爆炸性问题, 大型Petri网系统的建模及可达性分析等问题的研究存在难度. 文章利用矩阵的半 张量积工具, 研究了带有同步变迁的有界Petri网系统的建模及可达性问题. 一方面, 由于该类Petri 网系统可以看作是由若干个子Petri 网系统组成, 所以可以用半张量积工具表述得到整个Petri网系统的矩阵表示. 另一方面, 在得出的矩阵表示的基础上, 研究了两个标识之间可达性的充要判据, 并给出了求可达变迁序列的算法. 最后, 文章用实例验证了该算法的正确性. 所提出的方法在一定程度上解决了状态空间爆炸问题, 并易于计算机实现.

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

()

[1]	李芳菲，孙继涛. 切换布尔网络稳定性的牵制控制[J]. 系统科学与数学, 2016, 36(3): 390-398.
[2]	葛美侠，赵建立，李莹. 基于添加惩罚策略的囚徒困境博弈的网络演化模型与分析[J]. 系统科学与数学, 2016, 36(11): 2041-2048.
[3]	付世华，赵建立，潘金凤. 布尔网络的稳定性与镇定[J]. 系统科学与数学, 2014, 34(4): 385-391.
[4]	张利军;程代展;李春文. 立体阵的一般结构[J]. 系统科学与数学, 2005, 25(4): 439-450.

-->

PDF全文下载地址:

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