Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ

CSpace

	Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ
其他题名	Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets Ⅱ
	Lu WM(陆维明); Jiao L(焦莉)
	2001
发表期刊	计算机科学技术学报：英文版
ISSN	1000-9000
卷号	16.0 期号:005 页码:426-433
摘要	In this paper,the Extended Strong,Asymmetric Choice NetsⅡ（ESACNⅡ),a subclass of Asymmetric Choice Nets(ACN) including Extended Free Choice Nets(EFCN) and Strong Asymmetric Choice Nets Ⅱ(SACNⅡ),is presented.A necessary and sufficient condition for liveress of ESACNⅡis proposed.Moreover,a criterion is introduced,which is necessary and sufficient for judgement of liveness and boundedness of ESACNⅡ,Meanwhile a polynomial time algoirithm is given to decide liveness and boundedness for ESACNⅡ.
其他摘要	In this paper,the Extended Strong,Asymmetric Choice NetsⅡ（ESACNⅡ),a subclass of Asymmetric Choice Nets(ACN) including Extended Free Choice Nets(EFCN) and Strong Asymmetric Choice Nets Ⅱ(SACNⅡ),is presented.A necessary and sufficient condition for liveress of ESACNⅡis proposed.Moreover,a criterion is introduced,which is necessary and sufficient for judgement of liveness and boundedness of ESACNⅡ,Meanwhile a polynomial time algoirithm is given to decide liveness and boundedness for ESACNⅡ.
关键词	Petri网非对称选择网局限性
收录类别	CSCD
语种	中文
CSCD记录号	CSCD:673109
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/57319
专题	中国科学院数学与系统科学研究院
作者单位	中国科学院数学与系统科学研究院
推荐引用方式 GB/T 7714	Lu WM,Jiao L. Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ[J]. 计算机科学技术学报：英文版,2001,16.0(005):426-433.
APA	陆维明,&焦莉.(2001).Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ.计算机科学技术学报：英文版,16.0(005),426-433.
MLA	陆维明,et al."Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ".计算机科学技术学报：英文版 16.0.005(2001):426-433.