1.Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors

Cong, XY, Wang, AR,     More...

Cong, XY, Wang, AR, Chen, YF, Wu, NQ, Qu, T, Khalgui, M, Li, ZW     Less

ISA TRANSACTIONS[0019-0578], Published 2019, Volume 92, Pages 145-154

收錄情况： WOS SCOPUS

WOS核心合集引用: 7  2023影響因子:  6.3  发表年影響因子:  4.305 

2.Monitor design with multiple self-loops for maximally permissive supervisors

Chen, YF, Li, ZW, Ba     More...

Chen, YF, Li, ZW, Barkaoui, K, Uzam, M     Less

ISA TRANSACTIONS[0019-0578], Published 2016, Volume 61, Pages 129-140

收錄情况： WOS SCOPUS

WOS核心合集引用: 6  2023影響因子:  6.3  发表年影響因子:  3.394