Keyi Xing, Meng Chu Zhou, Feng Wang, Huixia Liu, Feng Tian. Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 41(1):74-84, 2011. [doi]
Abstract is missing.