计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 107-110.doi: 10.11896/j.issn.1002-137X.2016.11.020

• 2015 第十五届全国Petri 网理论与应用学术会议 • 上一篇    下一篇

基于Petri网的事件协调控制方法研究

方欢,王苏城,方贤文,王丽丽   

  1. 安徽理工大学理学院 淮南232001,安徽理工大学理学院 淮南232001,安徽理工大学理学院 淮南232001,安徽理工大学理学院 淮南232001
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家自然科学基金项目(61070220,3,61272153,3,61402011,5),安徽省教育厅高等学校自然科学研究重点项目(KJ2014A067),安徽省自然科学基金项目(1608085QF149)资助

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

摘要: 事件的协调控制是离散事件系统中一项重要的研究内容,同时包含资源约束和事件约束的混杂约束更是系统设计的难点问题。以DES系统的加权Petri网模型为基础,以DES中变迁库所混杂约束的转换问题为研究对象,将事件协调约束转换为Petri网系统的结构约束,使得库所变迁混合约束问题转化为单一的库所约束问题。首先,提出基于Petri网的事件协调控制方法的设计算法,通过研究变迁约束转换为库所约束的规则与方法,将DES变迁库所混杂约束问题转换为单一的库所约束问题,从库所约束的角度来分析事件协调控制。其次,在3种不同系数约束的变迁≤约束表达式下,利用Petri网结构的特性,将变迁间的协调控制约束转换为系统的库所≤约束,并给出具体的算法步骤。最后,给出基于Petri网的事件协调控制方法的技术难点,剖析进一步分析和研究的主要问题。

关键词: 协调控制,Petri网,变迁约束,结构转换,约束条件转换

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!