基于Petri网的网格系统形式定义

摘要：

Petri网有严格的数学定义,具有描述分布式通信计算系统的能力.通过分析网格系统的特点,高度抽象网格系统概念,基于Petri网原理,构造网格系统的库所和变迁,用有色Petri网系统给出网格系统的形式化定叉,并对相关概念进行了讨论.

关键词：网格、有色Petri网、Web服务、Web服务资源框架、形式定义

所属期刊栏目：35

分类号：TP3(计算技术、计算机技术)

资助基金：重庆市教委资助项目KJ051101;重庆市自然科学基金2005BB2001

在线出版日期：2008-05-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：58-59,106