|
|||||
|
|
| 基于Petri网的网格系统形式定义 | |
| 作者姓名： | 应宏王自全 刘福明鄢沛 |
| 作者单位： | 重庆三峡学院数学与计算机科学学院,重庆,404000;重庆三峡学院数学与计算机科学学院,重庆,404000;重庆三峡学院数学与计算机科学学院,重庆,404000;重庆三峡学院数学与计算机科学学院,重庆,404000 |
| 基金项目： | 重庆市教委资助项目 , 重庆市自然科学基金 |
| 摘 要： | Petri网有严格的数学定义,具有描述分布式通信计算系统的能力.通过分析网格系统的特点,高度抽象网格系统概念,基于Petri网原理,构造网格系统的库所和变迁,用有色Petri网系统给出网格系统的形式化定叉,并对相关概念进行了讨论. |
| 关 键 词： | 网格 有色Petri网 Web服务 Web服务资源框架 形式定义 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |