1.On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets

Chen, HF, Wu, NQ, Li     More...

Chen, HF, Wu, NQ, Li, ZW, Qu, T     Less

ISA TRANSACTIONS[0019-0578], Published 2019, Volume 89, Pages 67-76

收錄情况： WOS SCOPUS

WOS核心合集引用: 37  2022影響因子:  7.3  发表年影響因子:  4.305 

2.On-line verification of initial-state opacity by Petri nets and integer linear programming

Cong, XY, Fanti, MP,     More...

Cong, XY, Fanti, MP, Mangini, AM, Li, ZW     Less

ISA TRANSACTIONS[0019-0578], Published 2019, Volume 93, Pages 108-114

收錄情况： WOS SCOPUS

WOS核心合集引用: 16  2022影響因子:  7.3  发表年影響因子:  4.305 

3.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核心合集引用: 5  2022影響因子:  7.3  发表年影響因子:  4.305 

4.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核心合集引用: 5  2022影響因子:  7.3  发表年影響因子:  3.394