dynamic invariance and reversibility preservation in self-loops connection of petri net systems

ISCAS OpenIR

	dynamic invariance and reversibility preservation in self-loops connection of petri net systems
	Pu Fei
	2011
会议名称	2nd International Conference on Information Computing and Applications, ICICA 2011
会议录名称	Communications in Computer and Information Science
页码	408-417
会议日期	October 28
会议地点	Qinhuangdao, China
收录类别	EI
ISSN	1865-0929
ISBN	9783642274510
部门归属	(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 China
摘要	Petri net synthesis processes provide a solution for handling high complexity of analyzing large systems. These bottom-up techniques, consisting of sharing operation, synchronous operation, self-loops connection as well as inhibitor-arc connection, have the advantages of ease of system description and analysis since the properties of subsystems must be preserved in the synthesized system. This paper focus on the concurrent behavior relation in self-loops connection of Petri net systems. First, the property of dynamic invariance, reflecting the interaction of subsystems is discussed. Second, a necessary and sufficient criterion for the reversibility in self-loops connection is presented. Finally, some conditions for reversibility preservation are proposed. The advantages of our approaches are in the context of concurrent language and can synthesize Petri net systems beyond asymmetric choice nets. © 2011 Springer-Verlag Berlin Heidelberg.; Petri net synthesis processes provide a solution for handling high complexity of analyzing large systems. These bottom-up techniques, consisting of sharing operation, synchronous operation, self-loops connection as well as inhibitor-arc connection, have the advantages of ease of system description and analysis since the properties of subsystems must be preserved in the synthesized system. This paper focus on the concurrent behavior relation in self-loops connection of Petri net systems. First, the property of dynamic invariance, reflecting the interaction of subsystems is discussed. Second, a necessary and sufficient criterion for the reversibility in self-loops connection is presented. Finally, some conditions for reversibility preservation are proposed. The advantages of our approaches are in the context of concurrent language and can synthesize Petri net systems beyond asymmetric choice nets. © 2011 Springer-Verlag Berlin Heidelberg.
主办者	National Natural Science Foundation of China; Northeastern University at Qinhuangdao; Yanshan University; Nanyang Technological University
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16244
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Pu Fei. dynamic invariance and reversibility preservation in self-loops connection of petri net systems[C],2011:408-417.