structural property analysis of a kind of petri net synthesis

ISCAS OpenIR

	structural property analysis of a kind of petri net synthesis
	Xia Chuanliang; Liu Zhendong; Sun Peng
	2011
会议名称	2011 International Conference on Civil Engineering and Building Materials, CEBM 2011
会议录名称	Advanced Materials Research
页码	1989-1993
会议日期	July 29, 2
会议地点	Kunming, China
收录类别	EI
ISSN	1022-6680
ISBN	9783037851395
部门归属	(1) School of Computer Science and Technology Shandong Jianzhu University Jinan China; (2) State Key Laboratory of Computer Science Institute of Software Academy of Sciences Beijing China
摘要	Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. This paper proposes the conditions imposed on a synthesis shared a kind of subnet under which the following structural properties will be preserved: repetitiveness, consistency, structural boundedness, conservativeness, structural liveness, P-invariant and T-invariant. © (2011) Trans Tech Publications, Switzerland.; Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. This paper proposes the conditions imposed on a synthesis shared a kind of subnet under which the following structural properties will be preserved: repetitiveness, consistency, structural boundedness, conservativeness, structural liveness, P-invariant and T-invariant. © (2011) Trans Tech Publications, Switzerland.
关键词	Building Materials Civil Engineering Construction Equipment
主办者	Kunming University of Science and Technology; International Association for Scientific and High Technology
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16236
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Xia Chuanliang,Liu Zhendong,Sun Peng. structural property analysis of a kind of petri net synthesis[C],2011:1989-1993.