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

• 作者: 刘彩红 卢雷 孙冬梅
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 面向对象Petri网 约简 死锁
• 年，卷（期）: 2009,（22）
• 所属期刊栏目: 研究、设计、测试
• 页码范围: 49-52
• 页数: 4页
• 分类号: TP393
• 字数: 5501字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.22.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢雷	山东大学计算机科学与技术学院	23	153	7.0	11.0
2	孙冬梅	山东大学计算机科学与技术学院	1	4	1.0	1.0
3	刘彩红	山东大学计算机科学与技术学院	1	4	1.0	1.0