1.Liveness Enforcement for Time Petri Nets
Qin, Tao, Dong, Yifa More...
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...
2022 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022[2576-3555], Published 2022, Pages 1261-1266
收錄情况： WOS SCOPUS
WOS核心合集引用: 1
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫