基于价格时间Petri网的网格计算应用模型及分析

被引:45
作者
刘卫东
宋佳兴
林闯
机构
[1] 清华大学计算机科学与技术系,清华大学计算机科学与技术系,清华大学计算机科学与技术系北京,北京,北京
关键词
网格服务分析; 用户应用模型; 网格服务质量; Petri网;
D O I
暂无
中图分类号
TP393 [计算机网络];
学科分类号
081206 [计算机网络与安全];
摘要
网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网格应用的QoS需求进行定义,并可利用Petri网的工具分析用户应用模型的正确性和时间特性,给出了具体的分析算法.
引用
收藏
页码:1416 / 1420
页数:5
相关论文
共 2 条
[1]
基于时间Petri网的工作流系统模型的线性推理 [J].
刘婷 ;
林闯 ;
刘卫东 .
电子学报, 2002, (02) :245-248
[2]
Modeling and analysis of workflows using Petri Nets [J].
Adam, NR ;
Atluri, V ;
Huang, WK .
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 1998, 10 (02) :131-158