[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 Xiayi, 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 Xiaolan. Feedback control logic for forbiddenstate 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 CyberneticsPart A: Systems and Human, 2004,34(3): 219228.
[7] BOEL R K., BENNAOUM 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 Jiliang, WU Weimin, SU Hongye 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 discreteevent systems Ⅱ: control synthesis[J]. IEEE Trans on Automatic control, 1994,39(3): 512531.
[12] CHEN Haoxun. Control synthesis of Petri nets based on Sdecreases[C]∥Proceedings of the 36th Conf on Decision and Control. San Diego, California:[s.n.],1997: 40984103.
[13] 董利达.基于序状Petri网的离散事件系统监控理论[D].杭州,浙江大学,2004.
DONG Lida. 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 Shouzhen. The simplification of cascade Petri net and its application for controller design[D]. Hangzhou: Zhejiang University, 2008. |