Petri网不可达标识的判定方法研究及其在死锁检测中的应用

• 作者: 包云霞 彭延军 曾庆田 段华 鲁法明
• 来源期刊: 计算机集成制造系统
• 学科: 工学
• 关键词: Petri网 可达性分析 不可达标识分类 死锁检测
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 业务过程管理技术
• 页码范围: 465-475
• 页数: 11页
• 分类号: TP301
• 字数: 9313字
• 语种: 中文
• DOI: 10.13196/j.cims.2016.02.019

摘要

为进行系统死锁检测,对Petri网特定标识的不可达性判定方法进行研究.对基于虹吸管、陷阱、S-不变量、加模S-不变量等结构特性以及基于状态方程解存在性的不可达标识判定方法进行分析,研究了上述方法可以判定的不可达标识之间的相互关系,建立了Petri网不可达标识的分类体系,为更好地进行标识不可达性判定提供了理论依据.分别结合哲学家就餐问题和一个跨组织协同业务流程Petri网模型的死锁状态,检测说明了标识不可达判定方法的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾庆田	山东科技大学电子通信与物理学院	67	573	14.0	21.0
2	彭延军	山东科技大学信息科学与工程学院	37	148	6.0	9.0
3	段华	山东科技大学数学与系统科学学院	34	197	8.0	12.0
4	鲁法明	山东科技大学信息科学与工程学院	27	101	4.0	8.0
6	包云霞	山东科技大学数学与系统科学学院	15	51	4.0	6.0