Institutional Repository
| dynamic invariance and reversibility preservation in self-loops connection of petri net systems | |
| Pu Fei | |
| 2011 | |
| Conference Name | 2nd International Conference on Information Computing and Applications, ICICA 2011 |
| Source | Communications in Computer and Information Science |
| Pages | 408-417 |
| Conference Date | October 28 |
| Conference Place | Qinhuangdao, China |
| Indexed Type | EI |
| ISSN | 1865-0929 |
| ISBN | 9783642274510 |
| Department | (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 |
| English Abstract | 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. |
| Sponsorship | National Natural Science Foundation of China; Northeastern University at Qinhuangdao; Yanshan University; Nanyang Technological University |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16244 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Pu Fei. dynamic invariance and reversibility preservation in self-loops connection of petri net systems[C],2011:408-417. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment