计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (22): 49-52.DOI: 10.3778/j.issn.1002-8331.2009.22.017

• 研发、设计、测试 • 上一篇    下一篇

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

c,卢 雷,刘彩红   

  1. 山东大学 计算机科学与技术学院,济南 250101
  • 收稿日期:2008-06-18 修回日期:2008-09-08 出版日期:2009-08-01 发布日期:2009-08-01
  • 通讯作者: 孙冬梅

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

SUN Dong-mei,LU Lei,LIU Cai-hong   

  1. epartment of Computer Science and Technology,Shandong University,Jinan 250101,China
  • Received:2008-06-18 Revised:2008-09-08 Online:2009-08-01 Published:2009-08-01
  • Contact: SUN Dong-mei

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

关键词: 面向对象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