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
ISBN9780769545592
部门归属(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.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Fei Pu]的文章
百度学术
百度学术中相似的文章
[Fei Pu]的文章
必应学术
必应学术中相似的文章
[Fei Pu]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。