On the liveness problem of 1-place-unbounded petri nets

被引：0
|
作者：
Jeng, MD
Peng, MY
机构：
来源：
SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION | 1997年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
An augmented teachability tree (ART) is proposed to extend the ability of the classical teachability tree for solving the liveness problem of a class of Petri nets where there exists at most one unbounded place. The idea is based on the computation of the minimal token number of the unbounded place. An algorithm for obtaining the minimal token number is shown. Examples are given to illustrate the technique. The proposed method can also be used to solve the shortest path problem in graphs with negative costs.
引用
收藏
页码：3221 / 3226
页数：6
相关论文
共 50 条
  • [21] On Liveness and Deadlockability in Subclasses of Weighted Petri Nets
    Hujsa, Thomas
    Devillers, Raymond
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 267 - 287
  • [22] Characterizing liveness of Petri nets in terms of siphons
    Jiao, L
    Cheung, TY
    Lu, WM
    APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 203 - 216
  • [23] Liveness characteristic analysis of a class of Petri nets
    Liu, Miao
    He, Zhou
    ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (06):
  • [24] Structural Liveness of Immediate Observation Petri Nets
    Jancar, Petr
    Valusek, Jiri
    FUNDAMENTA INFORMATICAE, 2022, 188 (03) : 179 - 215
  • [25] Petri Nets Liveness Analysis by minimal siphons
    Jeng, MD
    Peng, MY
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 315 - 320
  • [26] Diagnosability Analysis of Unbounded Petri Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Lafortune, Stephane
    Seatzu, Carla
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 1267 - 1272
  • [27] On Cyclic Behaviour of Unbounded Petri Nets
    Desel, Joerg
    2013 13TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2013), 2013, : 110 - 119
  • [28] Finite unfoldings of unbounded Petri nets
    Desel, J
    Juhás, G
    Neumair, C
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 157 - 176
  • [29] Identification of one-place-unbounded Petri nets from their modified coverability graph
    Ji, Guangyou
    Wang, Mingzhe
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2014, 36 (04) : 487 - 495
  • [30] Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets
    Ding, Zhijun
    Pan, Meiqin
    Yang, Ru
    Jiang, Changjun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2017, 47 (09): : 2574 - 2585
12345