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

作     者：鲁法明 曾庆田 段华 彭延军 包云霞 LU Faming;ZENG Qingtian;DUAN Hua;PENG Yanjun;BAO Yunxia

作者机构：山东科技大学信息科学与工程学院山东青岛266590 同济大学嵌入式系统与服务计算教育部重点实验室上海200092 山东科技大学电子通信与物理学院山东青岛266590 山东科技大学数学与系统科学学院山东青岛266590 

出 版 物：《计算机集成制造系统》 (Computer Integrated Manufacturing Systems)

年 卷 期：2016年第22卷第2期

页      面：465-475页

核心收录：

学科分类：0808[工学-电气工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 0817[工学-化学工程与技术] 0807[工学-动力工程及工程热物理] 0802[工学-机械工程] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

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

主　　题：Petri网 可达性分析 不可达标识分类 死锁检测 

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