notesonlivenessandboundednessofextendedstrongasymmetricchoicenets

CSpace

	notesonlivenessandboundednessofextendedstrongasymmetricchoicenets
	Lu WM(陆维明); Jiao L(焦莉)
	2001-01-01
发表期刊	journalofcomputerscienceandtechnology
ISSN	1000-9000
卷号	016 期号:005 页码:426
摘要	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Ⅱ.
语种	英语
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/47820
专题	中国科学院数学与系统科学研究院
作者单位	中国科学院数学与系统科学研究院
推荐引用方式 GB/T 7714	Lu WM,Jiao L. notesonlivenessandboundednessofextendedstrongasymmetricchoicenets[J]. journalofcomputerscienceandtechnology,2001,016(005):426.
APA	陆维明,&焦莉.(2001).notesonlivenessandboundednessofextendedstrongasymmetricchoicenets.journalofcomputerscienceandtechnology,016(005),426.
MLA	陆维明,et al."notesonlivenessandboundednessofextendedstrongasymmetricchoicenets".journalofcomputerscienceandtechnology 016.005(2001):426.