THE CHECKING OF LIVENESS OF ORDINARY PETRI NETS

被引：0
|
作者：
ZAKREVSKII, AD
机构：
来源：
DOKLADY AKADEMII NAUK BELARUSI | 1985年 / 29卷 / 11期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：1006 / 1009
页数：4
相关论文
共 50 条
  • [1] DENSE-TIMED PETRI NETS: CHECKING ZENONESS, TOKEN LIVENESS AND BOUNDEDNESS
    Abdulla, Parosh Aziz
    Mahata, Pritha
    Mayr, Richard
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2007, 3 (01)
  • [2] Observable liveness of Petri nets
    Desel, Joerg
    Kilinc, Goerkem
    [J]. ACTA INFORMATICA, 2015, 52 (2-3) : 153 - 174
  • [3] Observable liveness of Petri nets
    Jörg Desel
    Görkem Kılınç
    [J]. Acta Informatica, 2015, 52 : 153 - 174
  • [4] Liveness for synchronized choice Petri nets
    Chao, DY
    Nicdao, JA
    [J]. COMPUTER JOURNAL, 2001, 44 (02): : 124 - 136
  • [5] Timing and liveness in continuous Petri nets
    Renato Vazquez, C.
    Silva, Manuel
    [J]. AUTOMATICA, 2011, 47 (02) : 283 - 290
  • [6] On Liveness and a Class of Generalized Petri Nets
    Abdul-Hussin, Mowfak H.
    Banaszak, Zbigniew A.
    [J]. 2017 8TH ANNUAL INDUSTRIAL AUTOMATION AND ELECTROMECHANICAL ENGINEERING CONFERENCE (IEMECON), 2017, : 257 - 267
  • [7] Deciding Structural Liveness of Petri Nets
    Jancar, Petr
    [J]. SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 91 - 102
  • [8] Liveness Enforcement for Time Petri Nets*
    Qin, Tao
    Dong, Yifan
    Yin, Li
    Wu, Naiqi
    Li, Zhiwu
    [J]. 2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 1184 - 1189
  • [9] Liveness, fairness, and recurrence in Petri nets
    Kindler, E
    van der Aalst, W
    [J]. INFORMATION PROCESSING LETTERS, 1999, 70 (06) : 269 - 274
  • [10] Liveness verification of discrete event systems modeled by n-safe ordinary Petri nets
    He, KX
    Lemmon, MD
    [J]. APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 227 - 243
12345