property preservation by petri-net-based refinements in system design

	property preservation by petri-net-based refinements in system design
	Xia Chuanliang
	2008
会议名称	9th International Conference for Young Computer Scientists
页码	240-246
会议日期	NOV 18-21,
会议地点	Zhangjiajie, PEOPLES R CHINA
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5
ISBN	978-1-4244-4198-3
部门归属	Acad Sinica, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China.
摘要	We motivate and study the refinements of places and transitions in Petri nets. A refinement of Petri nets is a transformation by replacing a simple entity of a system with its functional and operational details. In general, the refined system
关键词	Petri Nets Refinement Liveness Property Preservation Transformation
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10544
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Xia Chuanliang. property preservation by petri-net-based refinements in system design[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5,2008:240-246.