the preservation of liveness in self-loops connection of petri net systems

ISCAS OpenIR

	the preservation of liveness in self-loops connection of petri net systems
	Fei Pu
	2011
会议名称	3rd International Conference on Multimedia Information Networking and Security, MINES 2011
会议录名称	Proceedings - 3rd International Conference on Multimedia Information Networking and Security, MINES 2011
页码	109-113
会议日期	November 4
会议地点	Shanghai, China
收录类别	EI
ISBN	9780769545592
部门归属	(1) College of Computer and Information Engineering Zhejiang Gongshang University China; (2) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences 100190 Beijing China
摘要	In study of Petri net systems, the approach of synthesis process is playing an increasingly significant role. In a synthesis process, the properties of subsystems must be preserved in the global system in order to reduce the high complexity of analyzing. This paper focuses on such property as live ness in self-loops connection of Petri net systems. The system behavior relation i.e. language relation in self-loops connection process is stressed studied. The corresponding concurrent language formula is presented and proved, and it can be applied to judge the live ness in self-loops connection operation. Moreover, some criteria are introduced, which are necessary and sufficient for live ness preservation. Then, under these conditions, the live ness of global system can be determined by the same properties of local systems. Contrasted with other works, our approaches can synthesize Petri net systems beyond asymmetric choice nets and are based on concurrent behavior of systems. © 2011 IEEE.; In study of Petri net systems, the approach of synthesis process is playing an increasingly significant role. In a synthesis process, the properties of subsystems must be preserved in the global system in order to reduce the high complexity of analyzing. This paper focuses on such property as live ness in self-loops connection of Petri net systems. The system behavior relation i.e. language relation in self-loops connection process is stressed studied. The corresponding concurrent language formula is presented and proved, and it can be applied to judge the live ness in self-loops connection operation. Moreover, some criteria are introduced, which are necessary and sufficient for live ness preservation. Then, under these conditions, the live ness of global system can be determined by the same properties of local systems. Contrasted with other works, our approaches can synthesize Petri net systems beyond asymmetric choice nets and are based on concurrent behavior of systems. © 2011 IEEE.
关键词	Security Of Data
主办者	Shanghai University; NSFC
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16274
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Fei Pu. the preservation of liveness in self-loops connection of petri net systems[C],2011:109-113.