计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 107-110.doi: 10.11896/j.issn.1002-137X.2016.11.020
• 2015 第十五届全国Petri 网理论与应用学术会议 • 上一篇 下一篇
方欢,王苏城,方贤文,王丽丽
FANG Huan, WANG Su-cheng, FANG Xian-wen and WANG Li-li
摘要: 事件的协调控制是离散事件系统中一项重要的研究内容,同时包含资源约束和事件约束的混杂约束更是系统设计的难点问题。以DES系统的加权Petri网模型为基础,以DES中变迁库所混杂约束的转换问题为研究对象,将事件协调约束转换为Petri网系统的结构约束,使得库所变迁混合约束问题转化为单一的库所约束问题。首先,提出基于Petri网的事件协调控制方法的设计算法,通过研究变迁约束转换为库所约束的规则与方法,将DES变迁库所混杂约束问题转换为单一的库所约束问题,从库所约束的角度来分析事件协调控制。其次,在3种不同系数约束的变迁≤约束表达式下,利用Petri网结构的特性,将变迁间的协调控制约束转换为系统的库所≤约束,并给出具体的算法步骤。最后,给出基于Petri网的事件协调控制方法的技术难点,剖析进一步分析和研究的主要问题。
[1] Ramadge P J,Wonham W M.Supervisory control of a class of discrete event processes[J].Siam Journal on Control and Optimization,1987,25(1):206-230 [2] Ramadge P J,Wonham W M.Modular feedback logic for discrete event system[J].Siam Journal on Control and Optimization,1987,25(5):1202-1218 [3] Wang S G,Xu Z W.The synthesis of Petri nets controller for general inequality constraints with uncontrollable transitions[J].Journal of Shanghai Jiaotong Univerisity,2007,1(9):1551-1555(in Chinese) 王寿光,许振伟.带有不可控变迁的一般不等式约束的Petri网控制器综合[J].上海交通大学学报,2007,41(9):1551-1555 [4] Luo J L,Wu W M,Dong L D,et al.Supervisor synthesis for a class of discrete event systems[J].Control Theory & Applications,2007,4(4):621-624(in Chinese) 罗继亮,吴维敏,董利达,等.一类离散事件系统的控制器综合[J].控制理论与应用,2007,24(4):621-624 [5] Xu S S,Dong L D,Zhu D,et al.Redundancy detection and structure simplification for a class of liveness-enforcing Petri net supervisors[J].Control Theory & Applications,2013,0(6):673-682(in Chinese) 徐珊珊,董利达,朱丹,等.一类活性Petri网控制器的冗余检测及结构简化[J].控制理论与应用,2013,30(6):673-682 [6] Hu H S,Zhou M C,Li Z W.Liveness and ratio-enforcing super-vision of automated manufacturing systems using Petri nets[J].IEEE Transactions on Systems,Man and Cybernetics,A,2012,42(2):392-403 [7] Li Z W,Zhang J,Zhao M.Liveness-enforcing supervisior design for a class of generalized Petri net models of flexible manufacturing systems[J].IEEE Transaction on Control Theory and Applications,2007,1(4):955-967 [8] Li S Y,An A M,Cai Y,et al.A deadlock control policy for a subclass of Petri nets G-system[J].Control Theory & Applications,2013,0(11):1430-1437(in Chinese) 李绍勇,安爱民,蔡颖,等.Petri网的子类G-system网的死锁控制策略[J].控制理论与应用,2013,0(11):1430-1437 [9] Wu N Q,Zhou M C.System modeling and control woth re-source-oriented Petri nets[M]∥Control Engineering Series.Newyork,USA:CRC Press,2009 [10] Li Z W,Zhou M C.Deadlock resolution in automated manufacturing systems[M]∥A Novel Petri Net Approach.London,UK:Springer,2009 [11] Li S Y,Wang A R.A deadlock prevention policy in Petri nets using necessary siphons[J].Control Theory & Applications,2011,8(6):771-780(in Chinese) 李绍勇,王安荣.应用必需信标的Petri网死锁预防策略[J].控制理论与应用,2011,8(6):771-780 [12] Li S Y,Li Z W.Structure reduction of liveness-enforcing Petri nets using mixed integer Programming[J].Asian Journal of Control,2012,14(2):384-399 [13] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006 [14] Fang H,Lu Y,Huang Z J,et al.Synchronization distance determination and synchronization controller design for hybrid Petri nets[J].Control Theory & Applications,2012,9(7):884-892(in Chinese) 方欢,陆阳,黄镇谨,等.混杂Petri网系统同步距离求解及同步控制器设计[J].控制理论与应用,2012,29(7):884-892 [15] Fang H,Lu Y,Xu Z J,et al.Resource allocation model and deadlock-free optimization scheduling for underground locomotive transportation[J].System Engineering-Theory & Practice,2013,3(8):2087-2096(in Chinese) 方欢,陆阳,徐自军,等.井下机车运输调度的资源分配模型及无死锁优化调度[J].系统工程理论与实践,2013,33(8):2087-2096 |
No related articles found! |
|