Huixia Liu, Keyi Xing, Weimin Wu, MengChu Zhou, Hailin Zou. Deadlock Prevention for Flexible Manufacturing Systems via Controllable Siphon Basis of Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 45(3):519-529, 2015. [doi]
Abstract is missing.