|
|||||
|
|
| 网格体系的Petri网模拟与分析 | |
| 引用本文： | 张鹏,杜玉越,左风朝,蒋昌俊. 网格体系的Petri网模拟与分析[J]. 系统仿真学报, 2005, 17(Z1): 223-228 |
| 作者姓名： | 张鹏 杜玉越 左风朝 蒋昌俊 |
| 作者单位： | 1. 山东科技大学信息科学与工程学院,青岛,266510;同济大学电子与信息工程学院,上海,200092 2. 山东科技大学信息科学与工程学院,青岛,266510;聊城大学计算机学院,聊城,252059 3. 聊城大学计算机学院,聊城,252059 4. 同济大学电子与信息工程学院,上海,200092 |
| 基金项目： | 国家自然科学基金(60125205, 90412013, 60473094); 国家973基础研究计划项目基金(2003CB316902, 2004CB318001-03)、山东省自然科学基金(2004ZX17, 2004ZX14)和中国科学院计算机科学重点实验室开放课题基金(SYSKF0309). |
| 摘 要： | 应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系. |
| 关 键 词： | 网格 Petri网 建模 形式化分析 正确性 验证 |
| 文章编号： | 1004-731X(2005)S-223-06 |
| 修稿时间： | 2005-07-22 |
Formal Modeling and analysis of Grid Architectures via Petri Nets |
|
| ZHANG Peng,DU Yu-yue,ZUO Feng-chao,JIANG Chang-jun. Formal Modeling and analysis of Grid Architectures via Petri Nets[J]. Journal of System Simulation, 2005, 17(Z1): 223-228 | |
| Authors: | ZHANG Peng DU Yu-yue ZUO Feng-chao JIANG Chang-jun |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |