1.Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets

Habbachi, S, Li, ZW,     More...

Habbachi, S, Li, ZW, Wu, NQ, Khalgui, M     Less

SCIENCE PROGRESS[0036-8504], Published 2022, Volume 105, Issue 1,

收錄情况： WOS SCOPUS

WOS核心合集引用: 1  2023影響因子:  2.6  发表年影響因子:  2.1 

2.Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems

Cheng, LH, Feng, L,     More...

Cheng, LH, Feng, L, Li, ZW     Less

SCIENCE PROGRESS[0036-8504], Published 2021, Volume 104, Issue 3,

收錄情况： WOS SCOPUS

WOS核心合集引用: 2  2023影響因子:  2.6  发表年影響因子:  1.512