Macro liveness graph and liveness of ω-independent unbounded nets

被引：0
|
作者：
WANG ShouGuang [1 ]
GAN MengDi [2 ]
ZHOU MengChu [2 ,3 ]
机构：
[1] School of Information and Electronic Engineering, Zhejiang Gongshang University
[2] Key Laboratory of Embedded System and Service Computing, Ministry of Education,Tongji University
[3] Department of Electrical and Computer Engineering, New Jersey Institute of Technology
来源：
ScienceChina(InformationSciences) | 2015年 / 58卷 / 03期
基金：
中国国家自然科学基金; 浙江省自然科学基金; 美国国家科学基金会;
关键词：
discrete event system(DES); Petri nets; complex systems; liveness; property analysis;
D O I：
暂无
中图分类号：
TP301.1 [自动机理论];
学科分类号：
081202 ;
摘要：
Liveness is a basic property of a system and the liveness issue of unbounded Petri nets remains one of the most difficult problems in this field.This work proposes a novel method to decide the liveness of a class of unbounded generalized Petri nets calledω-independent unbounded nets,breaking the existing limits to one-place-unbounded nets.An algorithm to construct a macro liveness graph(MLG)is developed and a critical condition based on MLG deciding the liveness ofω-independent unbounded nets is proposed.Examples are provided to demonstrate its effectiveness.
引用
收藏
页码：132 / 141
页数：10
相关论文
共 50 条
  • [1] Macro liveness graph and liveness of ω-independent unbounded nets
    Wang ShouGuang
    Gan MengDi
    Zhou MengChu
    SCIENCE CHINA-INFORMATION SCIENCES, 2015, 58 (03) : 1 - 10
  • [2] Macro liveness graph and liveness of ω-independent unbounded nets一类ω独立无界Petri网的活性分析
    ShouGuang Wang
    MengDi Gan
    MengChu Zhou
    Science China Information Sciences, 2015, 58 : 1 - 10
  • [3] On the liveness problem of 1-place-unbounded petri nets
    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, : 3221 - 3226
  • [4] Time-independent Liveness in Time Petri Nets
    Bachmann, Joerg Peter
    Popova-Zeugmann, Louchka
    FUNDAMENTA INFORMATICAE, 2010, 102 (01) : 1 - 17
  • [5] LIVENESS AND BOUNDEDNESS ANALYSIS FOR PETRI NETS WITH EVENT GRAPH MODULES
    SAVI, VM
    XIE, XL
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 328 - 347
  • [6] Liveness of Safe Object Nets
    Koehler-Bussmeier, Michael
    Heitmann, Frank
    FUNDAMENTA INFORMATICAE, 2011, 112 (01) : 73 - 87
  • [7] Observable liveness of Petri nets
    Desel, Joerg
    Kilinc, Goerkem
    ACTA INFORMATICA, 2015, 52 (2-3) : 153 - 174
  • [8] Observable liveness of Petri nets
    Jörg Desel
    Görkem Kılınç
    Acta Informatica, 2015, 52 : 153 - 174
  • [9] 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
  • [10] LIVENESS AND DUALITY IN MARKED-GRAPH-LIKE PREDICATE TRANSITION NETS
    LAUTENBACH, K
    PAGNONI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 331 - 352
12345