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

Formal Definition of Grid System Based on Petri Nets

作　　者：应宏[1] 王自全[1] 刘福明[1] 鄢沛[1] 

机构地区：[1]重庆三峡学院数学与计算机科学学院,重庆404000

出　　处：《计算机科学》2008年第2期58-59,106,共3页Computer Science

基　　金：重庆市教委科研基金(KJ051101);重庆市自然科学基金(2005BB2001)资助

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

关 键 词：网格 有色PETRI网 WEB服务 WEB服务资源框架 形式定义 

分 类 号：TP393.0[自动化与计算机技术—计算机应用技术] TP393.4[自动化与计算机技术—计算机科学与技术]