关键词: 面向对象Petri网, 约简, 死锁

Abstract: The paper presents a set of reduction rules that maintain the object-oriented nature of the Petri net and detection method.This method stratifies the object subnets using the object-oriented concept and technology，and simplifies the object subnet in each layer in turn using the reduction rules on the premise of keeping the subnet natures，and simultaneously carries on the deadlock detection to the object subnet as well as the corresponding object subnet’s，until all objects have been disposed of.The proposed method has been validated through an example，the result indicates that the method can significantly reduce the number of nodes in the net，and reduce the complexity of deadlock detection of OOPN effectively.

Key words: Object-Oriented Petri Nets（OOPN）, reduction, deadlock