公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

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

全选清除导出

共1页<1>

高娜