Analysis of properties of Petri synthesis net

CSpace

	Analysis of properties of Petri synthesis net
	Xia, Chuanliang
	2006
发表期刊	THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS
ISSN	0302-9743
卷号	3959 页码:576-587
摘要	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.
关键词	Petri nets analysis synthesis liveness and boundedness
语种	英语
WOS研究方向	Computer Science ; Mathematics
WOS类目	Computer Science, Theory & Methods ; Mathematics, Applied
WOS记录号	WOS:000238091800055
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/2837
专题	中国科学院数学与系统科学研究院
通讯作者	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.