10.3969/j.issn.1000-386x.2013.04.042
Petri网可达性的伪标识判定法
Petri网标识的可达性判定问题是进行Petri网分析的基础.在分析目前现有的判定Petri网可达性的求解方法的基础上,提出一种伪标识判定法.该方法在状态方程法的基础上,利用关联矩阵来判断变迁发射向量是否能够发生来筛除伪标识.通过对实例的求解说明了求解过程并证明了算法能够确保对所得结果的可靠性,减少了算法的时间复杂度.
Petri网、可达性、伪标识
30
TP311(计算技术、计算机技术)
广西壮族自治区教育厅科研立项项目201106LX515;玉林师范学院青年科研资助项目2010YJQN19
2013-05-30(万方平台首次上网日期,不代表论文的发表时间)
共4页
153-155,179