您的位置： 专家智库 > 资助详情>中国民航总局科技基金(MHRD2007117)

中国民航总局科技基金(MHRD2007117)

作品数：1 被引量：2H指数：1
相关作者：刘林源夏良周航黄志球祝义更多>>
相关机构：徐州师范大学中国人民解放军炮兵学院南京航空航天大学更多>>
发文基金：中国民航总局科技基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>
题名
作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇时间PETR...
  • 1篇实时系统
  • 1篇消解
  • 1篇冲撞

机构

  • 1篇南京航空航天...
  • 1篇中国人民解放...
  • 1篇徐州师范大学

作者

  • 1篇祝义
  • 1篇黄志球
  • 1篇周航
  • 1篇夏良
  • 1篇刘林源

传媒

  • 1篇计算机研究与...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
相关度排序
基于Time Petri Net的实时系统冲撞检测与消解被引量：2
2012年
time Petri net(TPN)在实时控制系统的建模中得到广泛应用,而冲撞是Petri网及其扩展模型的重要行为,解决冲撞是正确分析模型动态行为的关键.由于引入时间约束,使得TPN模型的使能和触发语义比Petri网模型的语义复杂,冲撞的检测及消解变得更加困难.首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的正确性;然后在此基础上定义并证明了TPN模型中冲撞的检测方法;给出了冲撞时间区间及修改时间约束的冲撞消解方法;最后通过实例验证说明了该方法的有效性和正确性.
周航黄志球祝义夏良刘林源
关键词：时间PETRI网冲撞消解
全选 清除 导出
共1页<1>
聚类工具0