面向对象Petri网的约简和系统死锁的检测  

Object-oriented Petri net's reduction and systems deadlock detection

作　　者：孙冬梅[1] 卢雷[1] 刘彩红[1] 

机构地区：[1]山东大学计算机科学与技术学院,济南250101

出　　处：《计算机工程与应用》2009年第22期49-52,共4页Computer Engineering and Applications

摘　　要：提出一套保持面向对象Petri网性质的约简规则和检测方法。该方法运用面向对象的概念和技术,为对象子网进行分层,且在保持子网性质的前提下,利用约简规则依次简化每层对象子网,并同时检测对象子网以及相应对象子网间的死锁关系,直到所有对象处理完毕。最后通过实例对所提出的方法进行了验证,验证结果表明该方法的提出大大减少了网中的节点,有效降低了面向对象Petri网中死锁检测的复杂度。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.

关 键 词：面向对象 PETRI网 约简 死锁 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]