Muhammad Bashir, Zhiwu Li, Murat Uzam, Naiqi Wu, Abdulrahman Al-Ahmari. On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach. IMA J. Math. Control & Information, 35(4):1217-1249, 2018. [doi]
Abstract is missing.