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

摘要：

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

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

所属期刊栏目：45

分类号：TP393(计算技术、计算机技术)

在线出版日期：2009-09-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：49-52