排序方式:
    總頁 1 
      Go

    1.On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets

    Karoui, O, Chen, YF,     More...

    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[2168-2216], Published 2020, Volume 50, Issue 10, Pages 3613-3627

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  发表年影響因子:  13.451 

    2.Colored Resource-Oriented Petri Net Based Ladder Diagrams for PLC Implementation in Reconfigurable Manufacturing Systems

    Kaid, H, Al-Ahmari,     More...

    IEEE ACCESS[2169-3536], Published 2020, Volume 8, Pages 217573-217591

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 12  发表年影響因子:  3.367 

    3.Modeling and Control for Deadlock-Free Operation of Single-Arm Cluster Tools With Concurrently Processing Multiple Wafer Types via Petri Net

    Lu, YJ, Qiao, Y, Pan     More...

    IEEE ACCESS[2169-3536], Published 2021, Volume 9, Pages 70868-70883

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  发表年影響因子:  3.476 

    4.Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs

    Gu, C, Ma, ZY, Li, Z     More...

    IEEE CONTROL SYSTEMS LETTERS[2475-1456], Published 2022, Volume 6, Pages 1220-1225

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  发表年影響因子:  3.0 

    5.Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems

    Li, L, Basile, F, Li     More...

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL[0018-9286], Published 2021, Volume 66, Issue 11, Pages 5326-5341

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 24  2023影響因子:  7.0  发表年影響因子:  6.549 

    6.On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification

    Chen, YF, Li, YT, Li     More...

    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[2168-2216], Published 2021, Volume 52, Issue 6, Pages 3404-3418

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 10  发表年影響因子:  11.471 

    7.Deadlock Control and Fault Detection and Treatment in Reconfigurable Manufacturing Systems Using Colored Resource-Oriented Petri Nets Based on Neural Network

    Kaid, H, Al-Ahmari,     More...

    IEEE ACCESS[2169-3536], Published 2021, Volume 9, Pages 84932-84947

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  发表年影響因子:  3.476 

    8.An Efficient Method of Deadlock Detection and Recovery for Flexible Manufacturing Systems by Resource Flow Graphs

    Lu, Y, Chen, YF, Li,     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2021, Volume 19, Issue 3, Pages 1707-1718

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 25  2023影響因子:  6.4  发表年影響因子:  6.636 

    9.Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources

    Zhang, ZL, Liu, GY,     More...

    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[2168-2216], Published 2022, Volume 52, Issue 5, Pages 3113-3125

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 26  发表年影響因子:  8.7 

    10.Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs

    Gu, C, Ma, ZY, Li, Z     More...

    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[2168-2216], Published 2022, Volume 52, Issue 10, Pages 6162-6173

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  发表年影響因子:  8.7 

    11.Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets

    Chen, YF, Pan, L, Li     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2022, Volume 20, Issue 1, Pages 611-623

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.4  发表年影響因子:  5.6 

    12.An Optimal Transition-based Recovery Policy for Controlling Deadlock within Flexible Manufacturing Systems Using Graph Technique

    Elsayed, Mahmoud Sal     More...

    IEEE Access[2169-3536], Published 2023, Volume 11, Pages 51723-51739

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  发表年影響因子:  3.4 

    13.A Digital Twin Approach for Enforcing Diagnosability in Petri Nets

    Hu, SP, Li, ZW

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2023,

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 10  2023影響因子:  6.4  发表年影響因子:  5.9 

    14.Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings

    Cong, Xuya, Fanti, M     More...

    IEEE Transactions on Automatic Control[0018-9286], Published 2023, Volume 68, Issue 12, Pages 8158-8164

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 14  2023影響因子:  7.0  发表年影響因子:  6.2 

    15.Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs

    Uzam, M, Li, ZW, El-     More...

    IEEE ACCESS[2169-3536], Published 2024, Volume 12, Pages 20031-20046

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 

    16.Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets

    Hu, SP, Li, ZW, Wisn     More...

    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[2168-2216], Published 2024, Volume 54, Issue 5, Pages 2965-2977

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 10 

    17.A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints

    Zhai, QL, Hu, X, El-     More...

    IEEE ACCESS[2169-3536], Published 2024, Volume 12, Pages 78759-78772

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 

    18.Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications

    Hu, YH, Ma, ZY, Liu,     More...

    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[2168-2216], Published 2024, Volume 54, Issue 10, Pages 6242-6254

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 

    19.Diagnosability Verification and Enforcement for Unbounded Petri Nets by Online Supervisors

    Hu, SP, Hu, YH, Liu,     More...

    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955], Published 2025, Volume 22, Pages 9061-9074

    收錄情况: WOS SCOPUS

    WOS核心合集引用:  2023影響因子:  6.4 

    20.Design of Optimal Transition-Based Supervisors for Flexible Manufacturing Systems via Resource Requirement Graphs

    Lu, Y, Chen, YF, Had     More...

    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[2168-2216], Published 2025,

    收錄情况: WOS SCOPUS

    WOS核心合集引用: 

    顯示      條  合計  20  條
      總頁 1 
        Go

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

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