高娜1,韩晓光2,陈增强3,张青4
高娜,韩晓光,陈增强,张青. 带有同步变迁的有界Petri网系统的建模及可达性分析[J]. 系统科学与数学, 2016, 36(7): 924-936.
GAO Na,HAN Xiaoguang,CHEN Zengqiang,ZHANG Qing. MODELING AND REACHABILITY ANALYSIS OF BOUNDED PETRI NETS WITH SYNCHRONIZING TRANSITION[J]. Journal of Systems Science and Mathematical Sciences, 2016, 36(7): 924-936.
GAO Na ,HAN Xiaoguang , CHEN Zengqiang , ZHANG Qing
由于存在可达标识集的爆炸性问题, 大型Petri网系统的建模及可达性分析等问题的研究存在难度. 文章利用矩阵的半 张量积工具, 研究了带有同步变迁的有界Petri网系统的建模及可达性问题. 一方面, 由于该类Petri 网系统可以看作是由若干个子Petri 网系统组成, 所以可以用半张量积工具表述得到整个Petri网系统的矩阵表示. 另一方面, 在得出的矩阵表示的基础上, 研究了两个标识之间可达性的充要判据, 并给出了求可达变迁序列的算法. 最后, 文章用实例验证了该算法的正确性. 所提出的方法在一定程度上解决了状态空间爆炸问题, 并易于计算机实现.
MR(2010)主题分类:
分享此文:
[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. |
阅读次数 | ||||||
全文 |
|
|||||
摘要 |
|
|||||