您的位置： 专家智库 > >

彭建兵

作品数：1 被引量：6H指数：1
供职机构：中国科学院软件研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇矩阵
  • 1篇可达性
  • 1篇可达性分析
  • 1篇PETRI网

机构

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

作者

  • 1篇焦莉
  • 1篇彭建兵

传媒

  • 1篇计算机应用研...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于极小T-不变量增加的Petri网可达性分析被引量：6
2010年
基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关系图和扩展借矩阵在这些特征解向量的基础上适当添加整数倍的极小T-不变量;最后再判断这个添加极小T-不变量后的解向量的可达性。该方法不仅能判定一类含T-不变量Petri网的可达性,而且能在可达的情况下求得一个合法的变迁发生序列,并在一定程度上简化了可达性分析的过程。
彭建兵焦莉
关键词：PETRI网可达性
全选 清除 导出
共1页<1>
聚类工具0