您的位置： 专家智库 > >

刘苗

作品数：1 被引量：0H指数：0
供职机构：西安电子科技大学机电工程学院更多>>
发文基金：浙江省自然科学基金国家自然科学基金浙江省科技计划项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇柔性制造系统
  • 1篇死锁
  • 1篇计算方法
  • 1篇PETRI网

机构

  • 1篇西安电子科技...
  • 1篇浙江工商大学

作者

  • 1篇王寿光
  • 1篇吴文慧
  • 1篇刘苗
  • 1篇尤丹

传媒

  • 1篇西安电子科技...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
S^3PR网的严格极小信标计算方法
2014年
Petri网作为一种新兴的数学建模工具,被广泛地应用于各类制造系统中.现有的死锁预防控制策略大多采用对极小信标添加控制库所来达到死锁预防的目的.因此,严格极小信标在柔性制造系统的死锁预防中占据极其重要的地位.对于一类含有资源的简单资源顺序进程网(S3PR),笔者首先定义了一类特殊库所,通过分析特殊库所和环资源子集的关系,提出判定环资源子集对应的信标是否为严格极小信标的定理,基于判定定理有效求解出严格极小信标.实验结果表明,该方法可以快速地计算出S3PR网中的严格极小信标.
尤丹刘苗吴文慧王寿光
关键词：死锁柔性制造系统PETRI网
全选 清除 导出
共1页<1>
聚类工具0