排序方式:
    總頁 1 
      Go

    1.Deadlock and liveness characterization for a class of generalized Petri nets

    Liu, M, Wang, SG, Zh     More...

    INFORMATION SCIENCES[0020-0255], Published 2017, Volume 420, Pages 403-416

    收錄情况: WOS SCOPUS

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

    2.A novel method for deadlock prevention of AMS by using resource-oriented Petri nets

    Chen, HF, Wu, NQ, Zh     More...

    INFORMATION SCIENCES[0020-0255], Published 2016, Volume 363, Pages 178-189

    收錄情况: WOS SCOPUS

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

    3.Modeling and monitoring of E-commerce workflows

    Du, YuYue, Fu, You,     More...

    Information Sciences[0020-0255], Published 2009, Volume 179, Issue 7, Pages 995-1006

    收錄情况: WOS SCOPUS

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

    4.Model checking Petri nets with MSVL

    Shi, Ya, Tian, Cong,     More...

    Information Sciences[0020-0255], Published 2016, Volume 363, Pages 274-291

    收錄情况: WOS SCOPUS

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

    5.A robust deadlock prevention control for automated manufacturing systems with unreliable resources

    Wang, Feng, Xing, Ke     More...

    Information Sciences[0020-0255], Published 2016, Volume 345, Pages 243-256

    收錄情况: WOS SCOPUS

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

    6.Computation of strict minimal siphons in a class of Petri nets based on problem decomposition

    You, Dan, Wang, Shou     More...

    Information Sciences[0020-0255], Published 2017, Volume 409-410, Pages 87-100

    收錄情况: WOS SCOPUS

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

    7.Robust deadlock control of automated manufacturing systems with multiple unreliable resources

    Luo, JianChao, Liu,     More...

    Information Sciences[0020-0255], Published 2019, Volume 479, Pages 401-415

    收錄情况: WOS SCOPUS

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

    8.Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems

    Goubaa, Aicha, Khalg     More...

    Information Sciences[0020-0255], Published 2020, Volume 520, Pages 86-104

    收錄情况: WOS SCOPUS

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

    9.Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets

    Feng, YX, Xing, KY,     More...

    INFORMATION SCIENCES[0020-0255], Published 2020, Volume 533, Pages 181-199

    收錄情况: WOS SCOPUS

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

    10.A guidance framework for synthesis of multi-core reconfigurable real-time systems

    Lakhdhar, Wafa, Khal     More...

    Information Sciences[0020-0255], Published 2020, Volume 539, Pages 327-346

    收錄情况: WOS SCOPUS

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

    11.Inference Approach Based on Petri Nets

    Luo, JL, Tan, KC, Lu     More...

    INFORMATION SCIENCES[0020-0255], Published 2021, Volume 547, Pages 1008-1024

    收錄情况: WOS SCOPUS

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

    12.A machine learning and genetic algorithm-based method for predicting width deviation of hot-rolled strip in steel production systems

    Ji, Yingjun, Liu, Sh     More...

    Information Sciences[0020-0255], Published 2022, Volume 589, Pages 360-375

    收錄情况: WOS SCOPUS

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

    13.Large-scale water quality prediction with integrated deep neural network

    Bi, J, Lin, YZ, Dong     More...

    INFORMATION SCIENCES[0020-0255], Published 2021, Volume 571, Pages 191-205

    收錄情况: WOS SCOPUS

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

    顯示      條  合計   13   條
      總頁 1 
        Go

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

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