ON STRUCTURAL CONDITIONS FOR WEAK PERSISTENCY AND SEMILINEARITY OF PETRI NETS

被引：8
|
作者：
HIRAISHI, K [1 ]
ICHIKAWA, A [1 ]
机构：
[1] TOKYO INST TECHNOL,DEPT SYST SCI,MIDORI KU,YOKOHAMA,KANAGAWA 227,JAPAN
来源：
THEORETICAL COMPUTER SCIENCE | 1992年 / 93卷 / 02期
关键词：
D O I：
10.1016/0304-3975(92)90329-E
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A necessary and sufficient condition for a Petri net to be weakly persistent for every initial marking is obtained. Moreover, a necessary and sufficient condition for reachability is obtainable for this class of Petri nets. As a sufficient condition for a Petri net to have a semilinear reachability set, the notion of sinklessness has been proposed, where a marked Petri net is said to be sinkless if the total number of tokens in each minimal circuit is not decreased to 0 by firing transitions. We show that the reachability set is semilinear if the total number of times that sinklessness is violated is finite during each firing, and define a new subclass of Petri nets which have this property for every initial marking.
引用
收藏
页码：185 / 199
页数：15
相关论文
共 50 条
  • [21] Structural controllability in timed continuous Petri nets?
    Arzola, Cesar
    Vazquez, Carlos Renato
    Ramirez-Trevino, Antonio
    Silva, Manuel
    AUTOMATICA, 2023, 153
  • [22] Stubborn versus structural reductions for Petri nets
    Bonneland, Frederik M.
    Dyhr, Jakob
    Jensen, Peter G.
    Johannsen, Mads
    Srba, Jiri
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 102 : 46 - 63
  • [23] Weak and strong composition of high-level Petri nets
    Best, E
    Lavrov, A
    CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 194 - 209
  • [24] Sufficient Conditions and Sensor Placement for Structural Fault Diagnosis in a class of Timed Continuous Petri Nets
    Casas-Carrillo, R.
    Begovich, O.
    Ruiz-Leon, J.
    Ramirez-Trevino, A.
    IFAC PAPERSONLINE, 2018, 51 (13): : 61 - 66
  • [25] Research on Petri nets parallelization the functional divided conditions
    Li, Wenjing
    Li, Shuang
    Lin, Zhong-ming
    Liao, Weizhi
    2013 12TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING & SCIENCE (DCABES), 2013, : 50 - 54
  • [26] Controllability Conditions of Resultant Siphons in a Class of Petri Nets
    Wang, ShouGuang
    Wang, ChengYing
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (05): : 1206 - 1215
  • [27] Schedulability Analysis of Petri Nets Based on Structural Properties
    Liu, Cong
    Kondratyev, Alex
    Watanabe, Yosinori
    Desel, Joerg
    Sangiovanni-Vincentelli, Alberto
    FUNDAMENTA INFORMATICAE, 2008, 86 (03) : 325 - 341
  • [28] Structural Fault Diagnosis in Timed Continuous Petri Nets
    Fraustro, J. A.
    Ruiz-Leon, J.
    Vazquez, C. R.
    Ramirez-Trevino, A.
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 159 - 164
  • [29] Verification in concurrent programming with Petri nets structural techniques
    Barkaoui, K
    Pradat-Peyre, JF
    THIRD IEEE INTERNATIONAL HIGH-ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 1998, : 124 - 133
  • [30] Structural analysis of Petri Nets with batch processing arcs
    Ohta, Atsushi
    Kato, Chihiro
    Tsuji, Kohkichi
    2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS, 2006, : 4475 - +
12345