计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2008年
2期
58-59,106
,共3页
应宏%王自全%刘福明%鄢沛
應宏%王自全%劉福明%鄢沛
응굉%왕자전%류복명%언패
网格%有色Petri网%Web服务%Web服务资源框架%形式定义
網格%有色Petri網%Web服務%Web服務資源框架%形式定義
망격%유색Petri망%Web복무%Web복무자원광가%형식정의
Petri网有严格的数学定义,具有描述分布式通信计算系统的能力.通过分析网格系统的特点,高度抽象网格系统概念,基于Petri网原理,构造网格系统的库所和变迁,用有色Petri网系统给出网格系统的形式化定叉,并对相关概念进行了讨论.
Petri網有嚴格的數學定義,具有描述分佈式通信計算繫統的能力.通過分析網格繫統的特點,高度抽象網格繫統概唸,基于Petri網原理,構造網格繫統的庫所和變遷,用有色Petri網繫統給齣網格繫統的形式化定扠,併對相關概唸進行瞭討論.
Petri망유엄격적수학정의,구유묘술분포식통신계산계통적능력.통과분석망격계통적특점,고도추상망격계통개념,기우Petri망원리,구조망격계통적고소화변천,용유색Petri망계통급출망격계통적형식화정차,병대상관개념진행료토론.
