1.Liveness enforcement for production systems modeled by time Petri nets

Qin, T, Dong, YF, Yi     More...

Qin, T, Dong, YF, Yin, L, Li, ZW     Less

INFORMATION SCIENCES[0020-0255], Published 2023, Volume 648,

收錄情况： WOS SCOPUS

WOS核心合集引用: 1  2022影響因子:  8.1 

2.Game current-state opacity formulation in probabilistic resource automata q

Li, D, Yin, L, Wang,     More...

Li, D, Yin, L, Wang, JZ, Wu, NQ     Less

INFORMATION SCIENCES[0020-0255], Published 2022, Volume 613, Pages 96-113

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2022影響因子:  8.1  发表年影響因子:  8.1 

3.Optimal Petri net supervisor synthesis for forbidden state problems using marking mask

Li, YT, Yin, L, Chen     More...

Li, YT, Yin, L, Chen, YF, Yu, ZH, Wu, NQ     Less

INFORMATION SCIENCES[0020-0255], Published 2019, Volume 505, Pages 183-197

收錄情况： WOS SCOPUS

WOS核心合集引用: 7  2022影響因子:  8.1  发表年影響因子:  5.910