浙江省科技计划项目(2013C31111)
- 作品数：5 被引量：8H指数：2
- 相关作者：王寿光尤丹吴文慧周孟初李俊更多>>
- 相关机构：浙江工商大学同济大学东南大学更多>>
- 发文基金：国家自然科学基金浙江省科技计划项目浙江省杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于补库所的死锁预防策略被引量：2
- 2013年
- 文中基于补库所理论提出了活性控制器设计方法.首先,利用容量函数K将原Petri网N转变为有限容量网珦N,再通过逐一增加K值得到具有最大可达集的容量函数Kmax,然后根据Kmax添加一组补库所,最终得到活性受控网N′.文中首先以S3PR网模型为例,与几种经典的死锁预防控制策略进行比较.实例数据表明,基于补库所理论设计的控制器不仅结构简单,避免了信标计算,还具有较好的行为许可性.最后,以S3 PGR2网模型为例,说明基于补库所的死锁预防策略同样可以应用于一般Petri网.
- 吴文慧王寿光
- 关键词：PETRI网死锁
- S^3PR网的严格极小信标计算方法
- 2014年
- Petri网作为一种新兴的数学建模工具,被广泛地应用于各类制造系统中.现有的死锁预防控制策略大多采用对极小信标添加控制库所来达到死锁预防的目的.因此,严格极小信标在柔性制造系统的死锁预防中占据极其重要的地位.对于一类含有资源的简单资源顺序进程网(S3PR),笔者首先定义了一类特殊库所,通过分析特殊库所和环资源子集的关系,提出判定环资源子集对应的信标是否为严格极小信标的定理,基于判定定理有效求解出严格极小信标.实验结果表明,该方法可以快速地计算出S3PR网中的严格极小信标.
- 尤丹刘苗吴文慧王寿光
- 关键词：死锁柔性制造系统PETRI网
- 无界Petri网的可达树的综述被引量：4
- 2015年
- Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,但由于问题本身的复杂性和难度太大,直到最近20年,经过国内外诸多学者的不懈努力,才逐渐取得了一些阶段性的成果和部分突破.本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献.重点对4种开创性的研究成果展开讨论,分别为有限可达树、扩展可达树、改进可达树及新型改进可达树.探讨了今后无界Petri网可达性问题的研究方向.
- 干梦迪王寿光周孟初李俊李月
- 关键词：可达树离散事件系统
- 基于约束转换的Petri网最优监控器设计
- 2013年
- 针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束,给出基于约束转换的最优监控方法:根据路径代数法研究后向无同步前向无冲突网的结构,得到与可达性分析相关的若干性质;其次,根据这些性质得到约束转换算法,它将给定约束等价转换为一组"逻辑或"的允许的广义互斥约束;根据允许约束的性质,得到允许监控器存在性的充要条件和最大允许状态反馈控制策略的表达式,分析结果表明,该策略的在线计算能够在多项式时间内完成,及它能够满足实时性的要求;利用一个制造系统的实例演示了该监控方法.
- 罗继亮王飞邵辉赵良煦
- 关键词：离散事件系统PETRI网
- 信标可控性定义及问题被引量：2
- 2014年
- 死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者们针对一般Petri网及其子类提出了不少信标可控性定义,但这些定义并不完善,仍有大量的问题亟待解决.首先回顾了文献中的各个信标可控性定义,提出了两个新的信标可控性定义,然后从可控性定义的宽松程度、应用范围以及等价性等方面分析比较了现有的信标可控性定义优缺点.最后给出了今后的研究方向.
- 尤丹王寿光周孟初
- 关键词：PETRI网活性信标
