中文摘要：

现有的基于Petri网工作流性能分析方法对模型中活动的时间分布函数有较多限制,求解过程也较为复杂。为此,通过引入矩母函数,并结合Petri网可达图分析方法,将活动服从任意分布的工作流模型同构于可达图,在进一步消减可达图突发状态的基础上,用传递函数替代整个网络的矩母函数。最后,根据矩母函数的特征,结合实例分析了工作流网的系统性能,验证了该方法用于分析工作流模型的时间性能和资源利用率的可行性。

英文摘要：

Exsisting Petri-net-based workflow performance analysis approaches have many restrictions for the time distribution functions of the activities in the model,and the solution processes are also complicated.By introducing Moment Generating Function（MGF）,and combing with the analysis approach for Petri nets reachability graph,the reachability graph of workflow model whose activities subject to arbitrary distribution could be obtained.Based on further reduction of the vanishing states of reachability graph,the transfer function was substituted by the MGF of the entire nets.Finally,based on the characteristics of MGF,the system performance of WF-nets was analyzed through an example and the feasibility of approach for the time performance analysis of workflow models was also verified.