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

发布时间：2019-01-26 19:37

【摘要】：为进行系统死锁检测,对Petri网特定标识的不可达性判定方法进行研究。对基于虹吸管、陷阱、S-不变量、加模S-不变量等结构特性以及基于状态方程解存在性的不可达标识判定方法进行分析,研究了上述方法可以判定的不可达标识之间的相互关系,建立了Petri网不可达标识的分类体系,为更好地进行标识不可达性判定提供了理论依据。分别结合哲学家就餐问题和一个跨组织协同业务流程Petri网模型的死锁状态,检测说明了标识不可达判定方法的应用。
[Abstract]:In order to detect system deadlock, the reachability determination method of Petri net is studied. Based on the structural characteristics of siphon, trap, S- invariant, modular S- invariant, and the existence of the solution of the equation of state, the unreachable identification method is analyzed. In this paper, the relationship between the unreachable marks determined by the above methods is studied, and the classification system of the unreachable marks based on Petri nets is established, which provides a theoretical basis for determining the unreachability of the markers better. Combined with the dining problem of philosophers and the deadlock state of a cross-organization collaborative business process Petri net model, the application of identification unreachable decision method is illustrated.
【作者单位】：山东科技大学信息科学与工程学院;同济大学嵌入式系统与服务计算教育部重点实验室;山东科技大学电子通信与物理学院;山东科技大学数学与系统科学学院;
【基金】：国家自然科学基金资助项目(61170079;61202152;61472229;61502279) 山东省科技发展资助项目(2014GGX101035;ZR2015FM013) 山东省优秀中青年科学家科研奖励基金资助项目(BS2014DX013) 同济大学嵌入式系统与服务计算教育部重点实验室开放课题基金资助项目(ESSCKF201403) 山东科技大学科研创新团队支持计划与领军人才计划资助项目山东省高等学校青年骨干教师国内访问学者资助项目~~
【分类号】：TP301.1

【相似文献】