摘要
通过引入广义随机Petri网,将工作流管理联盟定义的工作流模型映射为广义随机工作流网络。利用广义随机Petri网与马尔可夫链的等价关系,得到一种Petri网与马尔可夫链理论相结合的工作流性能分析的新方法,为工作流性能的有效评估提供了理论依据,并通过实例验证,该方法可用于分析工作流模型的时间性能和资源利用率。
Through the introduction of generalized stochastic Petri net (GSPN), the workflow definition of Workflow Management Coalition is mapped to generalized stochastic workflow net. By utilizing the equivalence relation between GSPN and Markov chain, a new method is put forward, which combines Petri net and Markov chain to analyze the performance of workflow effectively. Finally, an application case is given to verify that this method can analyze the time-performance and resource-usage.