10.3969/j.issn.1002-137X.2008.02.013
基于Petri网的网格系统形式定义
Petri网有严格的数学定义,具有描述分布式通信计算系统的能力.通过分析网格系统的特点,高度抽象网格系统概念,基于Petri网原理,构造网格系统的库所和变迁,用有色Petri网系统给出网格系统的形式化定叉,并对相关概念进行了讨论.
网格、有色Petri网、Web服务、Web服务资源框架、形式定义
35
TP3(计算技术、计算机技术)
重庆市教委资助项目KJ051101;重庆市自然科学基金2005BB2001
2008-05-14(万方平台首次上网日期,不代表论文的发表时间)
共3页
58-59,106