一种基于进程验证的Petri网可达性判定方法

• 作者: 于枫 李伟 王鹏 罗军舟
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Petri网 可达性判定 Petri网进程 进程验证
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 288-299
• 页数: 12页
• 分类号: TP301
• 字数: 12830字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.00288

摘要

为了解决Petri网的可达性判定问题,提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系,该方法提出原子进程段概念,求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解,选取该解中非零分量对应的原子进程段子集作为待验进程段集,选取待验进程段间的偏序关系子集作为待验推理规则集,通过验证是否存在这两个集合上的以初始标识M_0为推导初态、目的标识M_d为推导终态的序列而判定(M_0,M_d)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的,最坏情况下不超过变迁集规模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李伟	东南大学计算机科学与工程学院	135	939	14.0	23.0
2	罗军舟	东南大学计算机科学与工程学院	165	4086	26.0	60.0
3	王鹏	东南大学计算机科学与工程学院	51	431	13.0	17.0
4	于枫	东南大学计算机科学与工程学院	9	74	5.0	8.0