| 基于Petri网的网格系统形式定义 |
| |
| 引用本文： | 应宏 王自全 刘福明 鄢沛. 基于Petri网的网格系统形式定义[J]. 计算机科学, 2008, 35(2): 58-59 |
| |
| 作者姓名： | 应宏 王自全 刘福明 鄢沛 |
| |
| 作者单位： | 重庆三峡学院数学与计算机科学学院,重庆,404000;重庆三峡学院数学与计算机科学学院,重庆,404000;重庆三峡学院数学与计算机科学学院,重庆,404000;重庆三峡学院数学与计算机科学学院,重庆,404000 |
| |
| 基金项目： | 重庆市教委资助项目 , 重庆市自然科学基金 |
| |
| 摘 要： | Petri网有严格的数学定义,具有描述分布式通信计算系统的能力.通过分析网格系统的特点,高度抽象网格系统概念,基于Petri网原理,构造网格系统的库所和变迁,用有色Petri网系统给出网格系统的形式化定叉,并对相关概念进行了讨论.
|
| 关 键 词： | 网格 有色Petri网 Web服务 Web服务资源框架 形式定义 |
Formal Definition of Grid System Based on Petri Nets |
| |
| YING Hong,WANG Zi-Quan,LIU Fu-Ming,YAN Pei (College of Mathematics and Computer Science,Chongqing Three Gorges University,Chongqing. Formal Definition of Grid System Based on Petri Nets[J]. Computer Science, 2008, 35(2): 58-59 |
| |
| Authors: | YING Hong WANG Zi-Quan LIU Fu-Ming YAN Pei (College of Mathematics Computer Science Chongqing Three Gorges University Chongqing |
| |
| Abstract: | Petri net with strict mathematical definitions is capacity of describing distributed computing systems communications.By being analyzed the characteristics of grid system,highly abstract concept of grid system,the place and the transition of the grid system are constructed based on Petri net theory,the formal definition of the grid system is presented with colored Petri nets,and related concepts are discussed. |
| |
| Keywords: | Grid Colored Petri nets Web services Web service resource framework Formal definition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
