期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于价格时间Petri网的网格计算应用模型及分析 被引量：27

Modeling and Analysis of Grid Computing Application Based Price Timed Petri Net
在线阅读 下载PDF
导出
摘要 网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网格应用的QoS需求进行定义,并可利用Petri网的工具分析用户应用模型的正确性和时间特性,给出了具体的分析算法. Resource management and task scheduling under Grid environment is a current hot research topic,OGSA （Open Grid Service Architecture） architecture of Grid defines all the resource as service, but it lacks the formal description to QoS of the Grid application. We extend the OGSA architecture and present price timed Petri net concept so the users of Grid can define their applications＇ QoS requirement using the price timed Petri net model. We also analyse the model＇s safety, reachability and gives the algorithm to compute the application＇s total time and total budget.
作者 刘卫东 宋佳兴 林闯
机构地区 清华大学计算机科学与技术系
出处 《电子学报》 EI CAS CSCD 北大核心 2005年第8期1416-1420,共5页 Acta Electronica Sinica
基金 国家自然科学基金(No.90412012 No.90104002) 国家"973"重点基础研究发展规划项目(No.2003CB314804)
关键词 网格服务分析 用户应用模型 网格服务质量 Petri访网 grid service analysis user application modeling grid service QoS petri nets
分类号 TP315 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献9

  • 1刘婷,林闯,刘卫东.基于时间Petri网的工作流系统模型的线性推理[J].电子学报,2002,30(2):245-248. 被引量：34
  • 2I Foster, C Kesselman, S Tuecke. The anatomy of the grid: Enabling scalable virtual organizations[J]. Int'l J High-Performance computing Applications, 2001,15 (3) : 200 - 222.
  • 3Ian Foster, Carl Kesselman, Jeffrey M Nick, Steven Tuecke. The Physiology of the Grid: An Open Grid Services Architecture for Distributed System Integration[ R/OL]. http://www.globus.org/research/papers/ogsa. paf,2002 - 06.
  • 4K Czajkowski, S Fitzgerald, I Foster, C kesselman. Grid information services for distributed resource sharing[A]. High Performance Distributed Computing, 2001 Proceeding, 10th IEEE International Symposium on[C] .Washington, DC, USA: IEEE Computer society, 2001, (7 - 9) :181 - 194.
  • 5Ian Foster, Carl Kesselman, Jeffrey M Nick, Steven Tuecke. Grids services for distributed system integration [ J ]. Computer, 2002,35 (6) : 37 -46.
  • 6Tadao Murata. Petri nets: Properties, analysis and applications[ J ]. Proceedings of the IEEE, 1989,77(4) :541 - 580.
  • 7Lopez-Mellado E. Simulation of timed petri net models[A]. Systems,Man and Cybernetics, IEEE International Conference on [ C ]. Vancouver, BC, Canada, Oct. 1995. 2270 - 2273.
  • 8N R Adam, V Atluri, W Huang. Modeling and analysis of workflow using Petri nets[ J]. Journal of Intelligent Information Systems, 1998,10:131 - 158.
  • 9J Cao, S A Jarvis, S Saini, G R Nudd. GridFlow: Workflow management for grid computing [ A ]. 3^rd IEEE/ACM International Symposium on Cluster Computing and the Grid ( CCGrid 2003) [ C ]. Tokyo, 2003.

二级参考文献8

  • 1[1]W M P van der Aalst.The application of Petri nets to workflow management [J].Journal of Circuits,Systems,and Computers,1998,8(1):21-66.
  • 2[2]W M P van der Aalst.Chapter 10;Three Good reasons for Using a Petri-net-based Workflow Management System.In T.WaKaYaMa et al.,editor,Information and Process Integration in Enterprises;Rethinking documents [M].The Kluwer International Series in Engineering and Computer Science,Kluwer Academic Publishers,Norwell,1998:161-182.
  • 3[3]C A Ellis,K Keddara,G Rozenberg.Dynamic change within workflow systems [J].In N.Comstock and C.Ellis,editors,Conf.on Organizational Computing Systems,ACM,SIGOIS,Milpitas,CA(1995):10-21.
  • 4[4]W M P van der Aalst.Verification of workflow tast structures [A].Information Systems,2000,25(1):43-69.
  • 5[5]Zaidi A K.On temporal logic programming using Petri nets [J].IEEE Transactions on Systems,Man and Cybernetics,May 1999,29(3):245-254.
  • 6[6]Yao Y.A Petri net model for temporal knowledge representation and reasoning [J].IEEE Trans.Systems,Man,and Cybernetics,1994,24(9):1374-1382.
  • 7[7]Lin C,Chanson S T.Logical inference of clauses based on Petri net models [J].International Journal of Intelligent Systems,John Wiley & Sons,August 1998,13:821-840.
  • 8[8]Lin C,Chaudhury A,Whinston A B,Marinescu D C.Logical inference of Horn clauses in Petri net models [J].IEEE Trans.on Knowledge and Data Engineering,June 1993,5(4):416-425.

共引文献33

同被引文献241

引证文献27

二级引证文献125

电子学报
2005年 第8期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部