1.Quantifying opacity of discrete event systems modeled with probabilistic Petri nets

Zhou, Sian, Yin, Li,     More...

Zhou, Sian, Yin, Li, Li, Zhiwu     Less

Information Sciences[0020-0255], Published 2024, Volume 666,

收錄情况： SCOPUS

2022影響因子:  8.1 

2.Identification of labeled Petri nets from finite automata

Zhu, Guanghui, Yin,     More...

Zhu, Guanghui, Yin, Li, Li, Yaohui, Li, Zhiwu, Wu, Naiqi     Less

Information Sciences[0020-0255], Published 2024, Volume 667,

收錄情况： SCOPUS

2022影響因子:  8.1 

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

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

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