| Petri网模型参数化可达图研究 | |
| 宋佳兴 ; 林闯 ; SONG Jia-xing ; LIN Chuang | |
| 2010-06-09 ; 2010-06-09 | |
| 关键词 | Petri网 参数化 可达图 模型性质检测 petri net parameterized reachability graph modeling property verification TP301.1 |
| 其他题名 | Research on Parameterized Reachability Graph of Petri Net Models |
| 中文摘要 | Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。; Petri net is an important mathematical tool for concurrent systems description and modeling,and reachability graph analysis is one of the most effective methods for Petri net models. In order to solve the problem of constructing reachability graphs and verifying properties of parameterized system Petri net models,a novel completely parameterized reachability graph(PRG) based on parameterized markings is presented. Constructing algorithm for the PRG is introduced,and some primary properties of this kind of PRG are given and proved. An example is presented to illustrate how to use the PRG for modeling property verification.; 国家自然科学基金(60673187;90412012) |
| 语种 | 中文 ; 中文 |
| 内容类型 | 期刊论文 |
| 源URL | [http://hdl.handle.net/123456789/55440]  |
| 专题 | 清华大学 |
| 推荐引用方式 GB/T 7714 | 宋佳兴,林闯,SONG Jia-xing,等. Petri网模型参数化可达图研究[J],2010, 2010. |
| APA | 宋佳兴,林闯,SONG Jia-xing,&LIN Chuang.(2010).Petri网模型参数化可达图研究.. |
| MLA | 宋佳兴,et al."Petri网模型参数化可达图研究".(2010). |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论