Please wait a minute...
浙江大学学报(工学版)
J4  2010, Vol. 44 Issue (6): 1057-1066    DOI: 10.3785/j.issn.1008-973X.2010.06.002
自动化技术、计算机技术     
一类含T-图环结构受控网显式控制器设计
董利达, 郑寒, 程曦浩
浙江大学 电子电路与信息系统研究所,浙江 杭州 310027
Explicitcontroller design for a class of controlled Petri nets with marked graph loops
DONG Li-Da, ZHENG Han, CHENG Xi-Hao
Institute of Electronic Circuit and Information System, Zhejiang University, Hangzhou 310027, China
 全文: PDF  HTML
摘要：

定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造2种新类型的Petri网子类,即T图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网.利用T-图工作流子网替换前后原网系统和替换网系统对同名库所权矢量的界保持不变的替换特性,给出一种适用于前向子网为T图工作流—树I型或者T-图工作流—树Ⅱ型的受控Petri网显式控制器设计方法,应用示例表明：所提出的方法适用于一类最大不可控子网含T-图环结构时的受控Petri网显式控制器设计.
Abstract:

A rule of substitution for marked graph workflow (TWF) net was proposed after defining the structure of TWF and studying its properties. Then, according to the structral charateristics of TS-I and TS-Ⅱ, two new subsets of Petri nets named TWT-I and TWT-Ⅱ were defined. When the TWF was used as a substituted subnet, the original system and the substitution system have the same bound to the same name ploce vector(SNPV). Then, a method was also proposed to design an explicitcontroller when all forward subnets in an uncontrollable subnet satisfy TWT-I or TWT-Ⅱ, which maybe include some marked graph loops. Finally, the application of this approach was illustrated by an example which was modeled by the controlled Petri net with some loops.
出版日期: 2010-07-16
:  TP 301  
作者简介: 董利达（1971—），男，浙江慈溪人，副教授，从事Petri网及其应用、工业无线系统研究，E-mail: lddong2002@163.com
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　

引用本文:

董利达, 郑寒, 程曦浩. 一类含T-图环结构受控网显式控制器设计[J]. J4, 2010, 44(6): 1057-1066.

DONG Li-Da, ZHENG Han, CHENG Xi-Gao. Explicitcontroller design for a class of controlled Petri nets with marked graph loops. J4, 2010, 44(6): 1057-1066.

链接本文:

http://www.zjujournals.com/eng/CN/10.3785/j.issn.1008-973X.2010.06.002    或    http://www.zjujournals.com/eng/CN/Y2010/V44/I6/1057

［1］ MURATA T. Petri nets: properties, analysis and applications［J］. Proceedings of the IEEE, 1989,77(4): 541580.

［2］ YAMALIDOU K, MOODY J, LEMMON M, et al. Feedback control of Petri nets based on place invariants［J］. IEEE Trans on Automatic Control, 1996,32(1): 1518.

［3］ HOLLOWAY L E, KROGH B H. Synthesis of feedback logic for a class of controlled Petri nets［J］. IEEE Trans on Automatic Control, 1990,35(5): 514523.

［4］ HOLLOWAY L E, GUAN Xiayi, ZHANG Lan. A generalization of state avoidance policies for controlled Petri nets［J］. IEEE Trans on Automatic Control, 1996,41: 804816.

［5］ ASMA G, NIDHAL R, XIE Xiaolan. Feedback control logic for forbiddenstate problems of marked graphs application to a real manufacturing system［J］. IEEE Trans on Automatic Control, 2003,48: 1829.


［6］ HOLLOWAY L E, KHARE A S, YU G. Computing bounds for forbidden state reachability functions for controlled Petri nets ［J］. IEEE Transactions on Systems, Man and CyberneticsPart A: Systems and Human, 2004,34（3）: 219228.

［7］ BOEL R K., BENNAOUM L, BREUSEGEM V. On forbidden state problems for a class of controlled Petri nets［J］. IEEE Trans on Automatic control, 1995,40(10): 17171731.

［8］ LUO Jiliang, WU Weimin, SU Hongye et al. Supervisor synthesis for enforcing GMECs on a controlled Petri net［C］ ∥Proceedings of the 2006 American Control Conference. Piscataway,NJ：［s.n.］,2006: 41654170.

［9］ FRANCESCO B, CIRO C, PASQUALE C. Feedback control logic for backward conflict free choice nets［J］. IEEE Trans on Automatic Control, 2007,52: 387400.

［10］ BASILE F, CHIACCHIO P, GIUA A. Supervisory control of Petri nets based on suboptimal monitor places［C］∥Proceeding of WODES'98.Italy：［s.n.］, 1998: 8587.

［11］ LI Yong, WONHAM W M. Control of vector discreteevent systems Ⅱ: control synthesis［J］. IEEE Trans on Automatic control, 1994,39(3): 512531.

［12］ CHEN Haoxun. Control synthesis of Petri nets based on Sdecreases［C］∥Proceedings of the 36th Conf on Decision and Control. San Diego, California:［s.n.］,1997: 40984103.

［13］ 董利达.基于序状Petri网的离散事件系统监控理论［D］.杭州,浙江大学,2004.

DONG Lida. Supervisory control for discrete event systems based on cascade Petri net［ D］. Hangzhou: ZheJiang University, 2004.

［14］ 吴哲辉.Petri网导论［M］.北京：机械工业出版社,2006.

［15］ AALST W. Verification of workflow nets［M］. Heidelberg: Springer, 1997, 1248: 407426.

［16］ 兰守珍.序状Petri网的简化方法及其在控制器设计中的应用［D］.杭州,浙江大学,2008.

LAN Shouzhen. The simplification of cascade Petri net and its application for controller design［D］. Hangzhou: Zhejiang University, 2008.
[1] 徐克林, 朱伟, 李艳冰. 配装-运输集成决策模型及其遗传算法[J]. J4, 2011, 45(9): 1630-1635.
[2] 陈婧, 张树有. 基于关联调度模型的模糊环境下车间动态调度[J]. J4, 2011, 45(2): 240-246.
[3] 董利达, 程曦浩, 郑寒. 基于工作流的安全库所替换网特性研究[J]. J4, 2010, 44(9): 1711-1718.
[4] 丁春, 冯志勇. 面向波动复杂性的上下文预测[J]. J4, 2010, 44(2): 220-224.
[5] 孟捷 ,刘华锋 ,岳茂雄 ,胡红杰. 生物力学模型导引的心肌运动与材料参数对偶估计[J]. J4, 2012, 46(5): 912-917.