排序方式:
    總頁 1 
      Go

    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核心合集引用: 

    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核心合集引用: 

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

    Hu, Shaopeng, Zhang,     More...

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

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 

    顯示      條  合計   3   條
      總頁 1 
        Go

      本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器

      Copyright © 2018 澳門科技大學學者庫