您的位置： 专家智库 > >

孙冬梅

作品数：1 被引量：2H指数：1
供职机构：山东大学计算机科学与技术学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇死锁
  • 1篇系统死锁
  • 1篇面向对象
  • 1篇面向对象PE...
  • 1篇PETRI网

机构

  • 1篇山东大学

作者

  • 1篇刘彩红
  • 1篇卢雷
  • 1篇孙冬梅

传媒

  • 1篇计算机工程与...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
面向对象Petri网的约简和系统死锁的检测被引量：2
2009年
提出一套保持面向对象Petri网性质的约简规则和检测方法。该方法运用面向对象的概念和技术,为对象子网进行分层,且在保持子网性质的前提下,利用约简规则依次简化每层对象子网,并同时检测对象子网以及相应对象子网间的死锁关系,直到所有对象处理完毕。最后通过实例对所提出的方法进行了验证,验证结果表明该方法的提出大大减少了网中的节点,有效降低了面向对象Petri网中死锁检测的复杂度。
孙冬梅卢雷刘彩红
关键词：面向对象PETRI网死锁
全选 清除 导出
共1页<1>
聚类工具0