Liveness characterization for GFC systems .2.

	Liveness characterization for GFC systems .2.
	Cao, CG
	1996-04-01
发表期刊	SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
ISSN	1006-9321
卷号	39 期号:2 页码:206-216
摘要	Several liveness theorems for GFC (the generalized free choice) systems in a reductive approach are presented. What is interesting is that the characterization is just based on deadlocks, rather than on both deadlocks and traps as Commoner characterization is just based on deadlocks, rather than on both deadlocks and traps as Commoner characterizes the liveness of ordinary free-choice systems. Several proof techniques which may be useful for proving liveness of other types of net systems are also introduced.
关键词	free-choice net liveness generalized free-choice net
收录类别	SCI
语种	英语
WOS研究方向	Engineering ; Materials Science
WOS类目	Engineering, Multidisciplinary ; Materials Science, Multidisciplinary
WOS记录号	WOS:A1996WB00800011
出版者	SCIENCE CHINA PRESS
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/5449
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Cao, CG
作者单位	CHINESE ACAD SCI,COMP TECHNOL INST,BEIJING 100080,PEOPLES R CHINA
推荐引用方式 GB/T 7714	Cao, CG. Liveness characterization for GFC systems .2.[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,1996,39(2):206-216.
APA	Cao, CG.(1996).Liveness characterization for GFC systems .2..SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,39(2),206-216.
MLA	Cao, CG."Liveness characterization for GFC systems .2.".SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES 39.2(1996):206-216.