Shao Yong Li, Aimin An, Ying Wang, Gang Wang, Cai Qin Hou, Ying Cai. Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. J. Intelligent Manufacturing, 24(6):1157-1173, 2013. [doi]
Abstract is missing.