| Petri网模型参数化可达图研究 |
| |
| 引用本文： | 宋佳兴 林闯. Petri网模型参数化可达图研究[J]. 系统仿真学报, 2007, 19(A01): 38-43 |
| |
| 作者姓名： | 宋佳兴 林闯 |
| |
| 作者单位： | 清华大学计算机科学与技术系,北京100084 |
| |
| 基金项目： | 国家自然科学基金（60673187;90412012） |
| |
| 摘 要： | Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。
|
| 关 键 词： | Petri网 参数化 可达图 模型性质检测 |
| 文章编号： | 1004-731X（2007）S1-0038-06 |
| 收稿时间： | 2007-05-10 |
| 修稿时间： | 2007-06-28 |
Research on Parameterized Reachability Graph of Petri Net Models |
| |
| SONG Jia-xing, LIN Chuang. Research on Parameterized Reachability Graph of Petri Net Models[J]. Journal of System Simulation, 2007, 19(A01): 38-43 |
| |
| Authors: | SONG Jia-xing LIN Chuang |
| |
| Abstract: | |
| |
| Keywords: | petri net parameterized teachability graph modeling property verification |
| 本文献已被 维普 等数据库收录！ |
|
