1.Liveness Enforcement for Time Petri Nets

Qin, Tao, Dong, Yifa     More...

Qin, Tao, Dong, Yifan, Yin, Li, Wu, Naiqi, Li, Zhiwu     Less

2022 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022[2576-3555], Published 2022, Pages 1184-1189

收錄情况： WOS SCOPUS

WOS核心合集引用: 0 

2.Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets

Zhu, Haoming, Yin, L     More...

Zhu, Haoming, Yin, Li, Wu, Naiqi, Li, Zhiwu     Less

2022 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022[2576-3555], Published 2022, Pages 1261-1266

收錄情况： WOS SCOPUS

WOS核心合集引用: 2 

3.Diagnosability Enforcement in Labeled Petri Nets Based on Digital Twins

Hu, Shaopeng, Zhang,     More...

Hu, Shaopeng, Zhang, Jiafeng, Li, Zhiwu     Less

2022 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022[2576-3555], Published 2022, Pages 1279-1284

收錄情况： WOS SCOPUS

WOS核心合集引用: 1