控制理论与应用

作者：李绍勇,孙智冬,蔡颖,厚彩琴,韩喜莲,马兵善

单位：兰州理工大学,兰州理工大学,兰州理工大学,兰州理工大学,兰州理工大学,兰州理工大学

关键词：柔性制造系统; Petri网; 死锁控制策略; 控制变迁; 最大可达数

基金：国家自然科学基金

不同于目前许多文献中基于添加控制库所的死锁预防策略, 本文提出了控制变迁方程(control transition equation, CTE)的概念和相应的基于添加控制变迁(control transition, CT)的死锁控制策略(deadlock control policy,DCP). 通过分析存在死锁的原网(N0, M0)的可达图(reachability graph, RG), 该DCP求解出所有死锁标识(deadlock marking, DM). 基于CTE, 构造出所需的控制变迁. 然后, 对每个DM添加相应的CT, 进而消除了原网(N0, M0)中的死锁标识, 得到了活性受控网系统(N*,M*). 通过理论分析和相关算例的应用, 该DCP的正确性和有效性得到了验证. 此外, 该DCP获取的(N*,M*)可达数目与(N0,M0)是相同的, 即最大可达数(maximally reachable number, MRN).

来源：2019年第5期

《控制理论与应用》期刊编辑部

查看控制理论与应用杂志2019年第5期