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

DETERMINATION METHOD OF FALSE IDENTIFICATION FOR REACHABILITY OF PETRI NET

作　　者：杨夏妮[1] 

机构地区：[1]玉林师范学院计算机科学与工程学院,广西玉林537000

出　　处：《计算机应用与软件》2013年第4期153-155,179,共4页Computer Applications and Software

基　　金：广西壮族自治区教育厅科研立项项目(201106LX515);玉林师范学院青年科研资助项目(2010YJQN19)

摘　　要：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.

关 键 词：PETRI网 可达性 伪标识 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]