Huixia Liu, Keyi Xing, MengChu Zhou, LiBin Han, Feng Wang. Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 44(2):196-208, 2014. [doi]
Abstract is missing.