Institutional Repository
| the preservation of liveness in self-loops connection of petri net systems | |
| Fei Pu | |
| 2011 | |
| Conference Name | 3rd International Conference on Multimedia Information Networking and Security, MINES 2011 |
| Source | Proceedings - 3rd International Conference on Multimedia Information Networking and Security, MINES 2011 |
| Pages | 109-113 |
| Conference Date | November 4 |
| Conference Place | Shanghai, China |
| Indexed Type | EI |
| ISBN | 9780769545592 |
| 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 100190 Beijing China |
| English Abstract | 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. |
| Keyword | Security Of Data |
| Sponsorship | Shanghai University; NSFC |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16274 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Fei Pu. the preservation of liveness in self-loops connection of petri net systems[C],2011:109-113. |
| 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