GaiYun Liu, Pei Li, Zhiwu Li, Naiqi Wu. Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 49(7):1371-1385, 2019. [doi]
Abstract is missing.