Petri网可达性的伪标识判定法

Petri网标识的可达性判定问题是进行Petri网分析的基础.在分析目前现有的判定Petri网可达性的求解方法的基础上,提出一种伪标识判定法.该方法在状态方程法的基础上,利用关联矩阵来判断变迁发射向量是否能够发生来筛除伪标识.通过对实例的求解说明了求解过程并证明了算法能够确保对所得结果的可靠性,减少了算法的时间复杂度.