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

计算机科学 ›› 2008, Vol. 35 ›› Issue (2): 58-59.

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

应宏王自全刘福明鄢沛

重庆三峡学院数学与计算机科学学院,重庆404000

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
受到重庆市教委科研基金（KJ051101）和重庆市自然科学基金（2005BB2001）资助.

YING Hong, WANG Zi-Quan, LIU Fu-Ming, YAN Pei （College of Mathematics and Computer Science,Chongqing Three Gorges University, Chongqing 404000）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

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

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 s

Key words: Grid, Colored Petri nets, Web services, Web service resource framework, Formal definition

应宏王自全刘福明鄢沛. 基于Petri网的网格系统形式定义[J]. 计算机科学, 2008, 35(2): 58-59. https://doi.org/

YING Hong, WANG Zi-Quan, LIU Fu-Ming, YAN Pei （College of Mathematics and Computer Science,Chongqing Three Gorges University, Chongqing 404000）. [J]. Computer Science, 2008, 35(2): 58-59. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed