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  2023影響因子:  6.3  发表年影響因子:  4.305 

2.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