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

来源：计算机集成制造系统杂志2016年第2期北京时间：

作者：鲁法明,曾庆田,段华,彭延军,包云霞

单位：1.山东科技大学信息科学与工程学院2.同济大学嵌入式系统与服务计算教育部重点实验室3.山东科技大学电子通信与物理学院4.山东科技大学数学与系统科学学院

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

关键词：Petri网,可达性分析,不可达标识分类,死锁检测

基金资助：国家自然科学基金资助项目(61170079,61202152,61472229,61502279);山东省科技发展资助项目(2014GGX101035,ZR2015FM013);山东省优秀中青年科学家科研奖励基金资助项目(BS2014DX013);同济大学嵌入式系统与服务计算教育部重点实验室开放课题基金资助项目(ESSCKF201403);山东科技大学科研创新团队支持计划与领军人才计划资助项目;山东省高等学校青年骨干教师国内访问学者资助项目。