Keyi Xing, Meng Chu Zhou, Huixia Liu, Feng Tian. Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 39(1):188-199, 2009. [doi]
Abstract is missing.