您的位置： 专家智库 > >

赵晓凡

作品数：1 被引量：3H指数：1
供职机构：郑州大学信息工程学院更多>>
发文基金：河南省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇时态逻辑
  • 1篇自动机
  • 1篇网模型
  • 1篇线性时态逻辑
  • 1篇PETRI网
  • 1篇PETRI网...
  • 1篇BÜCHI自...
  • 1篇PETRI网

机构

  • 1篇郑州大学

作者

  • 1篇周清雷
  • 1篇赵东明
  • 1篇赵晓凡

传媒

  • 1篇微计算机信息

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于线性时态逻辑的Petri网模型检测研究被引量：3
2009年
线性时态逻辑Petri网结合了Petri网和时序逻辑的优点,清晰简洁的描述并发系统事件间的时序和因果关系,包括系统的活性和安全性。其中自动机的体积是模型检验的一个关键性问题,为了得到尽可能小体积的自动机,在LTL公式转换为Büchi自动机之前,对LTL公式进行预处理来减少冗余,然后通过布尔技术优化自动机。
赵晓凡周清雷赵东明
关键词：线性时态逻辑PETRI网BÜCHI自动机
全选 清除 导出
共1页<1>
聚类工具0