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 条
  • [1] Conversion of 1-Place-Unbounded Synchronized Petri Nets into Weighted Automata
    Wu, Changshun
    Demongodin, Isabel
    Giua, Alessandro
    IFAC PAPERSONLINE, 2017, 50 (01): : 13434 - 13440
  • [2] Augmented reachability trees for 1-place-unbounded generalized Petri nets
    Jeng, MD
    Peng, MY
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (02): : 173 - 183
  • [3] Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets
    Wu, Changshun
    Demongodin, Isabel
    Giua, Alessandro
    2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2018, : 51 - 57
  • [4] Place Bisimulation and Liveness for Open Petri Nets
    Dong, Xiaoju
    Fu, Yuxi
    Varacca, Daniele
    DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, 2016, 9984 : 1 - 17
  • [5] The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning
    Qi, Hongda
    Wang, Junli
    Yan, Chungang
    Jiang, Changjun
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2024, 54 (02): : 1070 - 1081
  • [6] Observable liveness of Petri nets
    Desel, Joerg
    Kilinc, Goerkem
    ACTA INFORMATICA, 2015, 52 (2-3) : 153 - 174
  • [7] Observable liveness of Petri nets
    Jörg Desel
    Görkem Kılınç
    Acta Informatica, 2015, 52 : 153 - 174
  • [8] Macro liveness graph and liveness of ω-independent unbounded nets
    Wang ShouGuang
    Gan MengDi
    Zhou MengChu
    SCIENCE CHINA-INFORMATION SCIENCES, 2015, 58 (03) : 1 - 10
  • [9] Macro liveness graph and liveness of ω-independent unbounded nets
    WANG ShouGuang
    GAN MengDi
    ZHOU MengChu
    ScienceChina(InformationSciences), 2015, 58 (03) : 132 - 141
  • [10] Deciding Structural Liveness of Petri Nets
    Jancar, Petr
    SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 91 - 102
12345