带有同步变迁的有界Petri网系统的建模及可达性分析

• 作者: 张青 陈增强 韩晓光 高娜
• 来源期刊: 系统科学与数学
• 关键词: 可达性 有界Petri网 同步变迁 矩阵的半张量积 标识演化方程
• 年，卷（期）: 2016,（7）
• 页码范围: 924-936
• 页数: 13页
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈增强	南开大学计算机与控制工程学院	345	4297	35.0	48.0
3	张青	中国民航大学理学院	53	225	8.0	12.0
4	高娜	南开大学计算机与控制工程学院	2	4	2.0	2.0
8	韩晓光	南开大学计算机与控制工程学院	7	8	2.0	2.0