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

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

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李文敬	广西师范学院计算机与信息工程学院	71	316	10.0	13.0