Yufeng Chen, Zhiwu Li, Mohamed Khalgui, Olfa Mosbahi. Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems". IEEE T. Automation Science and Engineering, 9(2):455, 2012. [doi]
Abstract is missing.