1. Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors. (September 2019) Authors: Cong, Xuya; Wang, Anrong; Chen, Yufeng; Wu, Naiqi; Qu, Ting; Khalgui, Mohamed; Li, Zhiwu Journal: ISA transactions Issue: Volume 92(2019) Page Start: 145 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗