参考文献/References:
[1] REVELIOTIS S A.Real-time management of resource allocation systems[M].Boston:Springer Science,2005:2-35.
[2] FANTI M P,ZHOU M C.Deadlock control methods in automated manufacturing systems[J].IEEE Trans Syst Man Cybern A:Syst Humans,2004,34(1):5-22.
[3] LAWLEY M A,REVELIOTIS S A.Deadlock avoidance for sequential resource allocation systems: Hard and easy cases[J].Int J Flexible Manuf Syst,2001,13(1):384-404.
[4] REVELIOTIS S A,LAWLEY M A,FERREIRA P M.Polynomial complexity deadlock avoidance policies for sequential resource allocation systems[J].IEEE Trans Automat Control,1997,42(10):1344-1357.
[5] LI Shao-yong,LI Zhi-wu,HU He-suan.Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets[J].Int J Comput Integr Manuf,2011,24(8):710-725.
[6] TRICAS F,EZPELETA J.Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets[C]//Proceedings of 2003 IEEE Conference on Emerging Technologies and Factory Automation.Lisbon Portugal:IEEE,2003:322-329.
[7] GUO Tao,LI Jun,DAI Xiao-zhong,et al.Supervisory control reconfiguration and optimization of resource allocation systems with a Petri Net and mathematical programming approach[C]//Proceedings of 9th IEEE International Conference on Networking,Sensing and Control.Beijing:IEEE,2012:52-57.
[8] SAMPATH R,DARABI H.Control reconfiguration of discrete event systems with dynamic control specifications[J].IEEE Transactions on Automation Science and Engineering,2007,5(1):84-100.
[9] DAI J G,TEZCAN T.Optimal control of parallel server systems with many servers in heavy traffic[J].Queueing Syst,2008,59(2):95-134.
[10] 徐国华,胡奇英.离散事件动态系统的监控方法[M].郑州:河南科学技术出版社,1996:1-10.
[11] 郑大忠,赵千川.离散事件动态系统[M].北京:清华大学出版社,2001:282-340.