S^3PR网的一种最大许可活性监督控制器设计方法

作     者：闫明明 赵咪 YAN Ming-ming;ZHAO Mi

作者机构：电子科技大学机电工程学院四川成都610054 石河子大学机械电气工程学院新疆石河子832003 

基　　金：国家自然科学基金资助项目(51175067) 中央高校基本科研业务费资助项目(ZYGX2011J092) 

出 版 物：《计算机集成制造系统》 (Computer Integrated Manufacturing Systems)

年 卷 期：2013年第19卷第7期

页      码：1548-1552页

摘      要：针对S3PR网的死锁预防问题,提出一种基于信标的最大许可死锁控制策略。采用迭代方法对网系统中存在的所有可清空严格极小信标添加一组广义互斥约束,使信标的标志数不超过某个上限值,将基于信标的死锁预防控制转化为禁止状态监控问题,使得受控网系统的所有禁止状态不可达,从而保证受控网具有最大许可行为。通过柔性制造系统实例验证了该策略的有效性,该算法尤其适用于结构相对简单的可达状态性能要求比较高的网模型。

主 题 词：柔性制造系统 死锁预防 Petri网 信标 广义互斥约束 

学科分类：0711[理学-心理学类] 07[理学] 081104[081104] 08[工学] 0811[工学-水利类] 071102[071102] 081103[081103] 

核心收录：

D　O　I：10.13196/j.cims.2013.07.110.yanmm.018

馆 藏 号：203341031...