期刊文献+

基于Petri网的工作流过程模型及资源分布分析 被引量:3

Workflow process model and resource distribution analysis based on Petri net
下载PDF
导出
摘要 针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法,即扩展时延Petri网。给出了扩展时延Petri网的定义,并用该方法分析了工作流四种基本模型;给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法,用这种方法可求得与实例到达率相关的工作流模型平均完成时间。最后应用上述方法讨论了工作流资源分布的几种模式,并与模拟结果加以对比,计算结果的最大误差在3%左右,说明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。 According to the characteristics of workflow system, extended the Petri net model. This paper provided a new method of workflow modeling, i.e. extended ETdPN,presented formal definition of extended timed Petri net. Thereafter, this new method of time expression could be used to analyze four basic workflow models, i.e. the sequence, parallel, choice and iteration model. This paper provided a new calculation method of workflow response time by using queuing theory and stochas- tic Petri nets theory. The proposed method could be particularly applied to analyze the effects of instance arrival rate on work- flow system performance. Finally, evaluated several patterns of workflow resource distribution with the proposed method. Veri- fied the validity of the proposed method by comparison between the simulated results and the calculation results. The largest relative error is about 3%.
出处 《计算机应用研究》 CSCD 北大核心 2009年第7期2593-2597,共5页 Application Research of Computers
关键词 工作流模型 时延PETRI网 时间性能分析 workflow model timed Petri net(TdPN) time performance analysis
  • 相关文献

参考文献11

  • 1RAMCHANDANI C. Analysis of asynchronous concurrent systems by timed Petfi nets [ D]. Cambridge: MIT Press,1974.
  • 2MERLIN P M, FARBER D J. Recoverability of communication proto cols implications of a theoretical study[ J]. IEEE Trans on Communications, 1976,24 (9) : 1036- 1049.
  • 3MOLLOY M K. Performance analysis using stochastic Petri nets [ J ]. IEEE Trans on Computers,1982, 31 (9) :913-917.
  • 4PETRI C A. Kommunkation mit automaten [ D ]. Bonn: Institut fur Lnstrum Entelle Mathematik, 1962.
  • 5GIRAULT C, VALK R. Petri nets for system engineering:a guide to modeling, verification, and application [ M ]. Berlin : Springer-Vetlag, 2003.
  • 6Workflow Management Coalition. The workflow reference mode [ EB/ OL]. (2005-10). http: //www. wfmc. org.
  • 7范玉顺.工作流管理技术基础[M].北京:清华大学出版社,2001.
  • 8林闯,曲扬,郑波,田立勤.一种随机Petri网性能等价化简与分析方法[J].电子学报,2002,30(11):1620-1623. 被引量:30
  • 9田立勤,林闯,周文江.随机Petri网模型中变迁的串、并联性能等价化简技术[J].电子学报,2002,30(8):1134-1137. 被引量:28
  • 10龙士工,罗文俊.随机Petri网性能等价化简与分析方法研究[J].计算机工程,2006,32(12):27-28. 被引量:6

二级参考文献15

  • 1M K Molly.Performance analysis using stochastic Petri nets [J].IEEE Trans On C omputers,1982,C-31(9):913-917.
  • 2G Cabodi,P Camurati,S Quer.Reachability analysis of large circuits using disjunc tive partitioning and partial iterative squaring [J].Systems Architecture,2001 ,47(2):163-179.
  • 3W M Zuberek,I Rada.Modeling and analysis of distributed state space generation f or timed Petri nets [A].34-th Annual Simulation Symposium(SS-2001) [C].Stat tle,WA:The Society for Computer Simulation International(SCS),2001.93-98.
  • 4K Salimifard,M Wright.Petri net-based modelling of workflow systems:An overview [J].European Journal of Operational Research,2001,134(3):664-676.
  • 5W M P Van der Aalst,A H M ter Hofstede.Verification of workflow task structures: A Petri-net-based approach [J].Information Systems,2000,25(1):43-69.
  • 6K Inseon,P Junyeol,S Joohan.Developing adaptive buffer-level synchronization al gorithm by Petri nets for improving quality of multimedia related services [A] .2000 IEEE International Conference on Systems,Man,and Cybernetics(SMC2000) [C ].Nashville,TN:8-11 October,2000.3195-3200.
  • 7E Debes.A new Petri net based model of data transfers in the PC workstation memo ry hierarchy for MPEG encoding [A].The 2001 IEEE International Symposium on Ci rcuits and Systems(ISCAS) [C].Sydney,Australia:2001(2).221-224.
  • 8W M Zuberek.Performance evaluation using unbound timed Petri nets[A].Proc of t he Third International Workshop on Petri Nets and Performance Models [C].Kyoto,Japan:1989.180~186.
  • 9D C Marinescu,R R John.Synchronization of nonhomogeneous parallel computations [A].Parallel Proceeding for scientic Computing [C].(G.Rosrigue.ed),SIAM Publ ication,1989.362-367.
  • 10Molly M K.Performance Analysis Using Stochastic Petri Nets[J].IEEE Trans.on Computers,1982,C-31(9):913-917.

共引文献411

同被引文献29

引证文献3

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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