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

• 作者: 杨夏妮
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Petri网 可达性 伪标识
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 基金项目论文
• 页码范围: 153-155,179
• 页数: 4页
• 分类号: TP311
• 字数: 4739字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2013.04.042

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨夏妮	玉林师范学院计算机科学与工程学院	12	24	3.0	4.0