Macro liveness graph and liveness of ω-independent unbounded nets

作     者：WANG ShouGuang GAN MengDi ZHOU MengChu 

作者机构：School of Information and Electronic Engineering Zhejiang Gongshang University Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University Department of Electrical and Computer Engineering New Jersey Institute of Technology 

出 版 物：《Science China(Information Sciences)》 (中国科学:信息科学(英文版))

年 卷 期：2015年第58卷第3期

页      面：132-141页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：supported by the National Science Foundation of USA(Grant No.CMMI-1162482) National Natural Science Foundation of China(Grant Nos.61374148,61472361 and 61100056) Zhejiang Natural Science Foundation for Distinguished Yong Scholars(Grant No.LR14F020001) Zhejiang Science and Technology Project(Grant No.2013C31111) Zhejiang NNST Key Laboratory(Grant No.2013E10012) 

主　　题：discrete event system(DES) Petri nets complex systems liveness property analysis 

摘      要：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 *** 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 *** 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 *** are provided to demonstrate its effectiveness.