面向对象的Petri网死锁检测

On Decreasing Complexity of Deadlock Detection of Object-Oriented Petri Net

研究如何检测面向对象的 Petri网 ( OOPN)中的死锁 ,将 OOPN中的死锁分为结构死锁和约束死锁 ,给出了采用常规分析法检测结构死锁的步骤。运用大系统分解的思想 ,分两步进行分析 ,即首先验证每个对象类的子模型的活性 ,然后检查对象间的同步约束。该方法提供一种解决复杂问题的途径。

OOPN is widely used, but the detection of its deadlock is a problem to be solved. This paper aims to decrease the complexity of the detection of its deadlock as an important step towards the solution of the deadlock detection problem of OOPN. Mathematical analysis is used as it's attacking tool. Definitions of OOPN are given. The deadlocks are divided into structural deadlock, restrictive deadlock and mark deadlock. The way to detect these three types of deadlocks in a given OOPN is given. If a designer detects his specific OOPN to contain structural deadlocks, he should make changes until no structural deadlock can be detected. Thus the detection method appears to be satisfactory for decreasing the complexity of deadlock detection of OOPN.