[发明专利]一种基于petri网的可达图的死锁检测和解决方法

摘要

本发明涉及一种基于petri网的可达图的死锁检测和解决方法，包括以下步骤：1、构造待检测代码对应的petri网，构造petir网的可达树；2、根据构造的可达树构造可达图；3、判断可达图中是否存在叶子结点，若存在，则判断待检测代码存在死锁，转到下一步，若不存在，则判断待检测代码不存在死锁；4、构造petri网对应的故障树，并通过故障诊断得到最小割集；5、根据最小割集和可达图判断得到故障位置，根据故障位置对petri网和待检测代码进行改进。本发明通过Petri网的可达图来判断系统的活性，结合可达图与故障诊断定位确定导致Petri网无活性的问题点，通过问题点有向弧的改进可以有效解决死锁的问题。