满秩Petri网可达性判定算法的设计与实现

• 作者: 李文敬
• 来源期刊: 南宁师范大学学报（自然科学版）
• 关键词: 满秩 Petri网 可达性判定 算法设计 标识集
• 年，卷（期）: 2009,（3）
• 页码范围: 88-92,112
• 页数: 6页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1002-8743.2009.03.018

摘要

通过对Petri网可达性的分析,给出满秩Petri网可达性算法及其实现过程,在VC++平台上对算法进行验算,并对算法运行结果进行可达性讨论;该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法.