Characterizing liveness of Petri nets in terms of siphons

CSpace

	Characterizing liveness of Petri nets in terms of siphons
	Jiao, L ; Cheung, TY ; Lu, WM
	2002
发表期刊	APPLICATIONS AND THEORY OF PETRI NETS 2002
ISSN	0302-9743
卷号	2360 页码:203-216
摘要	Several new characterizations relating the liveness, liveness monotonicity and siphons of general and asymmetric choice nets are first proposed in this article. The first major one states that, if a pure ordinary net satisfies liveness monotonicity, then every siphon of it contains at least one trap. The second major one characterizes the non-liveness of an individual transition of a homogeneous asymmetric choice net in terms of some properties of its siphons. Then, based on these new characterizations, extension and new proofs for several existing characterizations of asymmetric choice nets are given.
关键词	asymmetric choice net characterization homogeneous live liveness monotonicity Petri net siphon
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Theory & Methods
WOS记录号	WOS:000180067500013
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/17766
专题	中国科学院数学与系统科学研究院
通讯作者	Jiao, L
作者单位	1.City Univ Hong Kong, Dept Comp Sci, Hong Kong, Hong Kong, Peoples R China 2.Chinese Acad Sci, Acad Math & Syst Sci, Beijing, Peoples R China
推荐引用方式 GB/T 7714	Jiao, L,Cheung, TY,Lu, WM. Characterizing liveness of Petri nets in terms of siphons[J]. APPLICATIONS AND THEORY OF PETRI NETS 2002,2002,2360:203-216.
APA	Jiao, L,Cheung, TY,&Lu, WM.(2002).Characterizing liveness of Petri nets in terms of siphons.APPLICATIONS AND THEORY OF PETRI NETS 2002,2360,203-216.
MLA	Jiao, L,et al."Characterizing liveness of Petri nets in terms of siphons".APPLICATIONS AND THEORY OF PETRI NETS 2002 2360(2002):203-216.