Polynomial algorithm to decide liveness and boundedness of ESAC nets

被引：0
|
作者：
Jiao, Li [1 ]
Lu, Wei-Ming [1 ]
机构：
[1] Inst. of Math., Acad. of Math. and Syst. Sci., Chinese Acad. of Sci., Beijing 100080, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2002年 / 13卷 / 07期
关键词：
Algorithms - Polynomials - Theorem proving;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
It has an important direction of Petri net applications to find practical and efficient polynomial algorithms. An algorithm is given to decide the structural liveness and structural boundedness of extended strong asymmetric choice (ESAC) nets. This algorithm can also decide whether an initial marking of a structurally live and structurally bounded ESAC net is a live marking or not. Since the class of ESAC nets contains free choice (FC) nets, this algorithm shows large area of applications.
引用
收藏
页码：1257 / 1263
相关论文
共 50 条
  • [31] Observable liveness of Petri nets
    Jörg Desel
    Görkem Kılınç
    Acta Informatica, 2015, 52 : 153 - 174
  • [32] Separating Polynomial χ-Boundedness from χ-Boundedness
    Brianski, Marcin
    Davies, James
    Walczak, Bartosz
    COMBINATORICA, 2024, 44 (01) : 1 - 8
  • [33] A Polynomial Algorithm for Observer Design with Interpreted Petri Nets
    Jimenez, Maria
    Ramirez Trevino, Antonio
    2012 WORLD AUTOMATION CONGRESS (WAC), 2012,
  • [34] Liveness and boundedness of Synchronous Data Flow Graphs
    Ghamarian, A. H.
    Geilen, M. C. W.
    Basten, T.
    Theelen, B. D.
    Mousavi, M. R.
    Stuijk, S.
    PROCEEDINGS OF FORMAL METHODS IN COMPUTER AIDED DESIGN, 2006, : 68 - +
  • [35] On conditions for the liveness of weakly persistent nets
    Liu, GuanJun
    Jiang, ChangJun
    INFORMATION PROCESSING LETTERS, 2009, 109 (16) : 967 - 970
  • [36] Liveness and boundedness analysis of Petri net synthesis
    Xia, Chuanliang
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2014, 24 (05)
  • [37] Deciding Structural Liveness of Petri Nets
    Jancar, Petr
    SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 91 - 102
  • [38] On Liveness and a Class of Generalized Petri Nets
    Abdul-Hussin, Mowfak H.
    Banaszak, Zbigniew A.
    2017 8TH ANNUAL INDUSTRIAL AUTOMATION AND ELECTROMECHANICAL ENGINEERING CONFERENCE (IEMECON), 2017, : 257 - 267
  • [39] THE CHECKING OF LIVENESS OF ORDINARY PETRI NETS
    ZAKREVSKII, AD
    DOKLADY AKADEMII NAUK BELARUSI, 1985, 29 (11): : 1006 - 1009
  • [40] Liveness for synchronized choice Petri nets
    Chao, DY
    Nicdao, JA
    COMPUTER JOURNAL, 2001, 44 (02): : 124 - 136
12345