Liveness, fairness, and recurrence in Petri nets

被引：18
|
作者：
Kindler, E [1 ]
van der Aalst, W
机构：
[1] Humboldt Univ, Inst Informat, D-10099 Berlin, Germany
[2] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands
来源：
INFORMATION PROCESSING LETTERS | 1999年 / 70卷 / 06期
关键词：
concurrency; distributed systems; Petri nets; theory of computation;
D O I：
10.1016/S0020-0190(99)00074-5
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In Petri net theory, recurrence implies liveness. In this study, the reverse implication of this reverse direction is examined. First, a class of Petri nets for which liveness implies recurrence is characterized. Following this, extended asymmetric choice nets are defined. It is shown that liveness also implies recurrence for this class. The results show that for extended asymmetric choice nets, soundness guarantees termination. Detailed analysis of workflow processes show that all workflows encountered can be modeled by extended asymmetric choice nets.
引用
收藏
页码：269 / 274
页数：6
相关论文
共 50 条
  • [1] Observable liveness of Petri nets
    Desel, Joerg
    Kilinc, Goerkem
    [J]. ACTA INFORMATICA, 2015, 52 (2-3) : 153 - 174
  • [2] Observable liveness of Petri nets
    Jörg Desel
    Görkem Kılınç
    [J]. Acta Informatica, 2015, 52 : 153 - 174
  • [3] Deciding Structural Liveness of Petri Nets
    Jancar, Petr
    [J]. SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 91 - 102
  • [4] 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
  • [5] Timing and liveness in continuous Petri nets
    Renato Vazquez, C.
    Silva, Manuel
    [J]. AUTOMATICA, 2011, 47 (02) : 283 - 290
  • [6] Liveness for synchronized choice Petri nets
    Chao, DY
    Nicdao, JA
    [J]. COMPUTER JOURNAL, 2001, 44 (02): : 124 - 136
  • [7] THE CHECKING OF LIVENESS OF ORDINARY PETRI NETS
    ZAKREVSKII, AD
    [J]. DOKLADY AKADEMII NAUK BELARUSI, 1985, 29 (11): : 1006 - 1009
  • [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] On Compositionality of Boundedness and Liveness for Nested Petri Nets
    Dworzanski, Leonid W.
    Lomazova, Irina A.
    [J]. FUNDAMENTA INFORMATICAE, 2012, 120 (3-4) : 275 - 293
  • [10] Place Bisimulation and Liveness for Open Petri Nets
    Dong, Xiaoju
    Fu, Yuxi
    Varacca, Daniele
    [J]. DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, 2016, 9984 : 1 - 17
12345