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

Petri网可达性的伪标识判定法
杨夏妮
【期刊名称】《计算机应用与软件》
【年(卷),期】2013(30)4
【摘要】Petri网标识的可达性判定问题是进行Petri网分析的基础.在分析目前现有的判定Petri网可达性的求解方法的基础上,提出一种伪标识判定法.该方法在状态方程法的基础上,利用关联矩阵来判断变迁发射向量是否能够发生来筛除伪标识.通过对实例的求解说明了求解过程并证明了算法能够确保对所得结果的可靠性,减少了算法的时间复杂度.%Reachability determination of Petri net identification is the basis to carry out Petri net analysis. Based on analysing existing solutions for determining the reachability of Petri net, we propose a determination method for false identification. The method is based on the state equation method, and screens out the false identification by using the association matrix to determine whether the transition launch vector can happen. Through solving an example we illustrate the process of solution and prove that the algorithm is able to ensure the reliability of the outcome obtained and to reduce its time complexity.
【总页数】4页(P153-155,179)
【作者】杨夏妮
【作者单位】玉林师范学院计算机科学与工程学院广西玉林537000
【正文语种】中文
【中图分类】TP311
【相关文献】
1.基于Petri网可达性的外卖流程建模优化分析 [J], 詹悦;王丽丽;刘祥伟
2.Petri网可达性的综合判定法 [J], 胡娟;刘力惠;范植华;李磊;王常青;周纬杰
3.利用可达性图判断petri网的可达性以及活性 [J], 郭长友;郑文艳;周智刚
4.基于Petri网可达性和结构的最大许可控制器设计 [J], 陈鹤峰;伍乃骐
5.扩展颜色逻辑Petri网及其可达性分析 [J], 王振; 杜玉越; 亓亮
因版权原因，仅展示原文概要，查看原文内容请购买。