Zhang, X., Uzam, M., Li, Z. & Wu, N. (2018) On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places. IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION , 35(1), 165-182.