您的位置： 专家智库 > >

国家重点基础研究发展计划(G19980304016)

作品数：1 被引量：1H指数：1
相关作者：夏传良徐进张光卫更多>>
相关机构：山东建筑工程学院北京航空航天大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇有界
  • 1篇有界性
  • 1篇柔性制造系统
  • 1篇活性
  • 1篇PETRI网

机构

  • 1篇北京航空航天...
  • 1篇山东建筑工程...

作者

  • 1篇张光卫
  • 1篇徐进
  • 1篇夏传良

传媒

  • 1篇计算机科学

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Petri网化简操作及其在系统验证中的应用被引量：1
2006年
针对柔性制造系统的验证问题,提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持问题,给出了化简后的Petri网保持活性、有界性、可回复性的一组充分条件或充要条件。对一个柔性制造系统进行了验证。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径。为复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的验证,具有一定的实用价值。
夏传良徐进张光卫
关键词：PETRI网活性有界性柔性制造系统
全选 清除 导出
共1页<1>
聚类工具0