Analysis of properties of Petri synthesis net

	Analysis of properties of Petri synthesis net
	Xia, Chuanliang
刊名	THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS
	2006
卷号	3959 页码:576-587
关键词	Petri nets analysis synthesis liveness and boundedness
ISSN号	0302-9743
英文摘要	Petri net synthesis can avoid the state exploration problem, which is of exponential complexity, by guaranteeing the correctness in the Petri net while incrementally expanding the net. The conventional Petri net synthesis approaches, in general, suffer the drawback of only being able to synthesize a few classes of nets, such as state machines, marked graphs or asymmetric choice(AC) nets. However, the synthesis technique of Petri nets shared PP-type subnets can synthesize Petri nets beyond AC nets. One major advantage of the synthesis technique is that the resultant Petri net is guaranteed to be live, bounded and reversible. Most current synthesis techniques cannot handle systems with shared subsystems. To solve resource-sharing problem, Jiao L. presented the conditions for an AC net satisfying siphon-trap-property (ST-property) to be live, bounded and reversible[3]. The major motivation of this work is to generalize the results in [3] and to extend the resource-sharing technique to subsystem-sharing technique on AC nets or Petri nets beyond AC nets.
语种	英语
出版者	SPRINGER-VERLAG BERLIN
WOS记录号	WOS:000238091800055
内容类型	期刊论文
源URL	[http://ir.amss.ac.cn/handle/2S8OKBNM/2836]
专题	中国科学院数学与系统科学研究院
通讯作者	Xia, Chuanliang
作者单位	Chinese Acad Sci, Acad Math & Syst Sci, Beijing, Peoples R China
推荐引用方式 GB/T 7714	Xia, Chuanliang. Analysis of properties of Petri synthesis net[J]. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS,2006,3959:576-587.
APA	Xia, Chuanliang.(2006).Analysis of properties of Petri synthesis net.THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS,3959,576-587.
MLA	Xia, Chuanliang."Analysis of properties of Petri synthesis net".THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS 3959(2006):576-587.