您的位置： 专家智库 > >

王平

作品数：1 被引量：2H指数：1
供职机构：中国人民解放军沈阳军区装备部更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇时序逻辑
  • 1篇自动机
  • 1篇线性时序逻辑
  • 1篇LTL
  • 1篇PETRI网

机构

  • 1篇清华大学
  • 1篇中国人民解放...

作者

  • 1篇罗贵明
  • 1篇张斌
  • 1篇王平

传媒

  • 1篇计算机应用

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种有效的基于LTL和Petri网的模型检测方法被引量：2
2006年
模型检测的一个主要方法是构建线性与时序逻辑(LTL)公式φ的否定形式等价的B櫣chi自动机Aφ和系统模型M的正交积,并检测正交积的可接受语言是否为空。通过对GeneralizedB櫣chi自动机进行化简,可以减小自动机的状态空间,从而提高模型检测的效率。根据所提出的方法设计并实现的基于LTL和Petri网进行模型检测的工具包,可以有效地对基于Petri网表示的系统模型进行模型检测。
张斌罗贵明王平
关键词：线性时序逻辑自动机PETRI网
全选 清除 导出
共1页<1>
聚类工具0