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
Conference Name	2011 International Conference on Civil Engineering and Building Materials, CEBM 2011
Source	Advanced Materials Research
Pages	1989-1993
Conference Date	July 29, 2
Conference Place	Kunming, China
Indexed Type	EI
ISSN	1022-6680
ISBN	9783037851395
Department	(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
English Abstract	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.
Keyword	Building Materials Civil Engineering Construction Equipment
Sponsorship	Kunming University of Science and Technology; International Association for Scientific and High Technology
Language	英语
Content Type	会议论文
URI	http://ir.iscas.ac.cn/handle/311060/16236
Collection	中国科学院软件研究所
Recommended Citation GB/T 7714	Xia Chuanliang,Liu Zhendong,Sun Peng. structural property analysis of a kind of petri net synthesis[C],2011:1989-1993.

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库