Notes on liveness and boundedness of extended Strong Asymmetric Choice Nets II

CSpace

	Notes on liveness and boundedness of extended Strong Asymmetric Choice Nets II
	Jiao, L; Lu, WM
	2001-09-01
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	16 期号:5 页码:426-433
摘要	In this paper, the Extended Strong Asymmetric Choice Nets II (ESACN II), a subclass of Asymmetric Choice Nets (ACN) including Extended ace Choice Nets (EFCN) and Strong Asymmetric Choice Nets II (SACN II), is presented. A necessary and sufficient condition for liveness of ESACN Il is proposed. Moreover, a criterion is introduced, which is necessary and sufficient for judgement of liveness and boundedness of ESACN II. Meanwhile a polynomial time algorithm is given to decide liveness and boundedness for ESACN II.
关键词	asymmetric choice net (ACN) extended strong asymmetric choice nets II (ESACN II) liveness boundedness algorithm polynomial time
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:000171323100004
出版者	SCIENCE PRESS
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/16226
专题	中国科学院数学与系统科学研究院
通讯作者	Jiao, L
作者单位	Chinese Acad Sci, Acad Math & Syst Sci, Math Inst, Div Comp Sci, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Jiao, L,Lu, WM. Notes on liveness and boundedness of extended Strong Asymmetric Choice Nets II[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2001,16(5):426-433.
APA	Jiao, L,&Lu, WM.(2001).Notes on liveness and boundedness of extended Strong Asymmetric Choice Nets II.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,16(5),426-433.
MLA	Jiao, L,et al."Notes on liveness and boundedness of extended Strong Asymmetric Choice Nets II".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 16.5(2001):426-433.