您的位置： 专家智库 > >

刘力惠

作品数：1 被引量：11H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇可达性
  • 1篇GROBNE...
  • 1篇PETRI网

机构

  • 1篇中国科学院软...

作者

  • 1篇范植华
  • 1篇周纬杰
  • 1篇王常青
  • 1篇刘力惠
  • 1篇胡娟
  • 1篇李磊

传媒

  • 1篇软件学报

年份

  • 1篇2004
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Petri网可达性的综合判定法被引量：11
2004年
Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的综合判定法.此判定方法综合多种传统判定方法的优点,结合Gr鯾ner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性.
胡娟刘力惠范植华李磊王常青周纬杰
关键词：PETRI网可达性GROBNER基
全选 清除 导出
共1页<1>
聚类工具0