Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors
Cong, Xuya, Wang, Anrong, Chen, Yufeng, Wu, Naiqi, Qu, Ting, Khalgui, Mohamed, Li, ZhiwuJournal:
ISA Transactions
DOI:
10.1016/j.isatra.2019.02.003
Date:
February, 2019
Fichier:
PDF, 734 KB
2019