工作流系统模型的性能等价分析  

Performance Equivalent Analysis of Workflow Systems

作　　者：林闯[1] 田立勤[1] 魏丫丫[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《软件学报》2002年第8期1472-1480,共9页Journal of Software

基　　金：国家自然科学基金资助项目(60173012;90104002);国家重点基础研究发展规划973资助项目(G1999032707);国家高科技研究发展计划资助项目(2001AA112080)

摘　　要：讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机Petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解.Four basic model of workflow systems are discussed based on SPN (stochastic Petri nets), and their performance equivalent equations are deduced. Finally, an example is given to explain how to model a workflow system based on SPN, and how to use those equations to compute their performance. By using these equations, not only the complex workflow model can be simplified but also the product-form solution of performance parameter of workflow model can be got.

关 键 词：随机PETRI网 性能等价 性能分析 工作流系统 工作流模型 

分 类 号：TP399[自动化与计算机技术—计算机应用技术]