Computer Science ›› 2016, Vol. 43 ›› Issue (11): 107-110.doi: 10.11896/j.issn.1002-137X.2016.11.020

Previous Articles     Next Articles

Study of Events Collaborative Control Method Based on Petri Nets

FANG Huan, WANG Su-cheng, FANG Xian-wen and WANG Li-li   

  • Online:2018-12-01 Published:2018-12-01

Abstract: The collaborative control method of events is an important research aspect in the area of discrete event system,while the hybrid restrictions including resource constraints and event constraints are especially difficult problems in the system construction.Based on the weighted Petri nets model of DES, and hybrid restrictions including transitions and places are taken in consideration,the event collaborative constraints are transformmed into structure constraints of the corresponding Petri net model,and then the hybrid restrictions can be transformed to place restrictions.First of all,the converting method of places and transitions hybrid restriction conditions in DES was studied,and the transition collaborative control algorithms based on Petri nets have been proposed.By structure converting of Petri nets,the hybrid restriction conditions of places and transitions of DES are converted into pure places restrictions,and the goal of studying events collaborative control from the point of pure places restrictions is realized.Secondly,under three characteristic situations that behaving different coefficient restrictions in≤restriction expression,the converting rules by structure converting of Petri nets were proposed,then the transitions≤restriction conditions were converted into places restrictions,and the converting algorithms and procedures were elaborated in detail.Finally,the key difficult problems of events collaborative control were studied,and research directions and application problems for further study were discussed.

Key words: Collaborative control,Petri nets,Transition restriction,Structure converting,Restriction converting

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!