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.
