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 conditions for the liveness of weakly persistent nets
    Liu, GuanJun
    Jiang, ChangJun
    INFORMATION PROCESSING LETTERS, 2009, 109 (16) : 967 - 970
  • [4] A Necessary and Sufficient Condition for the Liveness of Normal Nets
    Liu, GuanJun
    Jiang, ChangJun
    Chao, Daniel Y.
    COMPUTER JOURNAL, 2011, 54 (01): : 157 - 163
  • [5] Timing and liveness in continuous Petri nets
    Renato Vazquez, C.
    Silva, Manuel
    AUTOMATICA, 2011, 47 (02) : 283 - 290
  • [6] Liveness, fairness, and recurrence in Petri nets
    Kindler, E
    van der Aalst, W
    INFORMATION PROCESSING LETTERS, 1999, 70 (06) : 269 - 274
  • [7] A structure causality relation for liveness characterisation in Petri nets
    Zouari, B
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (06) : 1115 - 1133
  • [8] A structure causality relation for liveness characterisation in Petri nets
    Zouari, B
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (02) : 214 - 232
  • [9] Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees
    Yang, Ru
    Ding, Zhijun
    Pan, Meiqin
    Jiang, Changjun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2017, 47 (09): : 2601 - 2612
  • [10] 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
12345