%0 Journal Article %T 基于价格时间Petri网的网格计算应用模型及分析 %A 刘卫东 %A 宋佳兴 %A 林闯 %J 电子学报 %P 1416-1420 %D 2005 %X 网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网格应用的QoS需求进行定义,并可利用Petri网的工具分析用户应用模型的正确性和时间特性,给出了具体的分析算法. %K 网格服务分析 %K 用户应用模型 %K 网格服务质量 %K Petri网 %U http://www.ejournal.org.cn/CN/abstract/abstract4970.shtml