计算机应用与软件2013，Vol.30Issue(4)：153-155,179,4.DOI:10.3969/j.issn.1000-386x.2013.04.042
Petri网可达性的伪标识判定法
DETERMINATION METHOD OF FALSE IDENTIFICATION FOR REACHABILITY OF PETRI NET
摘要
Abstract
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网/可达性/伪标识Key words
Petri net/ Reachability/ False identification分类
信息技术与安全科学引用本文复制引用
杨夏妮..Petri网可达性的伪标识判定法[J].计算机应用与软件,2013,30(4):153-155,179,4.基金项目
广西壮族自治区教育厅科研立项项目(201106LX515) （201106LX515）
玉林师范学院青年科研资助项目(2010YJQN19). （2010YJQN19）
