基于随机Petri网工作流模型的时间性能分析方法.docVIP

基于随机Petri网工作流模型的时间性能分析方法 　　摘 要：工作流Petri网的时间性能分析方法有多种，本文采用加入时间因素的扩展马尔可夫链，建立与随机Petri网同构的有穷马尔可夫链，再根据此过程的稳定概率求解系统的性能参数。 　　关键词：工作流；Petri网；时间性能分析；马尔可夫链 　　工作流模型的时间性能分析是工作流研究的重要内容之一，也是分析资源利用率、成本等指标的基础。目前，大多数实用的工作流应用系统，在业务流程的性能分析上，几乎未给出适合各种工作流模型的有效方法。工作流除了正确性之外，还要关心它的性能分析，而这一点又往往被人们所忽视。工作流性能分析主要反映工作流定量方面的特性，比如过程的完成时间，资源利用率等等。定量分析模型之前须确认模型的正确性，即保证模型在业务流程和逻辑结构上没有错误且是合理的。传统的基于马尔可夫链的性能分析方法[1]具有指数时间复杂性，影响了其实用性。对给定的工作流，可以生成一个马尔可夫链，利用它可以分析工作流的某些方面，而且马尔可夫链的分析[2]非常耗时（即使是对本来不难处理的问题）。但是，根据实际应用可以通过成本或时间的引入来扩展马尔可夫链，就能获取一系列性能指标。 　　本文讨论加入时间因素的扩展马尔可夫链，根据被评价的随机Petri网工作流模型构造出连续时间的马尔可夫链，即随机模型[3]，对其进行时间性能分析。 　　1 基本概念 　　1.1 工作流网 　　对工作流的控制流建模的Petri网被称作工作流网（WF-net），是Aalst在Petri网的基础上提出的概念。 　　1.2 随机Petri网 　　随机Petri网（SPN）：一个连续时间SPN是一个六元组SPN=（P，D，F，W，M0，λ），在Petri网基础上，λ={λ1，λ2，…，λm}，是变迁平均实施速率集合。 　　在连续时间SPN中，一个变迁t从变成可实施的时刻到它实施时刻之间的延时被看成一个连续随机变量，服从以λ为参数的指数分布。λ是变迁t的平均实施速率，表示在可实施的情况下单位时间内平均实施的次数，单位是次数/单位时间。平均实施速率的倒数1/λ称为变迁ti的平均实施延时或平均服务时间。 　　1.3 工作流-随机Petri网的定义 　　工作流-随机Petri网（WF-SPN）是在随机Petri网（SPN）和工作流网（WF-net）的基础上提出的，目的是将随机触发时间引入工作流网，使模型具有分析时间性能的能力。 　　WF-SPN是SPN的真子集，可递归定义为：由一个基本结构组成的SPN是WF-SPN。WF-SPN满足如下性质：（1）有一个初始库所i∈P，?i=φ；（2）有一个终止库所0∈P，o?=φ；（3）每个节点x∈P∪T都在从I到o的一条路径上。 　　2 工作流-随机Petri 网时间性能分析 　　基本Petri网模型不能用于系统的性能评价，必须对其扩展。可以在每个变迁的可实施和实施之间联系一个随机的时间延迟。应用随机Petri网对系统评价时分三步：1）构造系统对应的随机Petri网模型。2）构造出该Petri网所同构的马尔可夫过程。3）基于马尔可夫过程的稳定概率求解系统的性能参数。 　　工作流-随机Petri网和一般工作流网的区别：在变迁中引入平均实施速率λi，每个λi值是从对所模拟系统的实际测量中获得或根据某种要求的预测值，它们具有实际意义。 　　定理1[4]任何具有有穷个库所、有穷个变迁的连续时间的随机Petri网同构于一个一维连续时间的马尔可夫链。K-有界的随机Petri网同构于有穷马尔可夫链。 　　假定一个工作流随机网同构于一个马尔可夫链，那么工作流随机网的每一个标识可以达到一个动态平衡状态，即每一个标记有一个确定的值，称为标记Mi的稳定概率，记为P（Mi）， （i=1，2，...，k）。根据马尔可夫链平稳分布的有关理论，得出如下的公式[5]： 　　其中Q为变迁速率矩阵，其非对角线上的元素qi，j（i≠j）是这样确定的：如果在马尔可夫链中从Mi到Mj有一条有向弧连接时，qi，j为弧上的速率值；如果没有弧，则qi，j（i=j）是从Mi发出的各条弧速率之和的相反数。将工作流随机网同构为马尔可夫链之后，利用公式（1），可以解出P（Mi）的值。由此可以得出工作流模型的一些系统特性和运行特性。 　　生成一个工作流网的可达图是实现从工作流网到马尔可夫链转换的关键，但要确保工作流网模型是合理的。工作流网是合理的，那么工作流随机网必定有界，该网就可以同构于一个有限的马尔可夫链，保证了计算的可行性。具体的分析步骤如下： 　　（1）从工作流随机网的定义可以看出，它是工作流网的一个特例。由于任何一个合理的工作流网必将结束于标识（0，0，...，0，1），也就是在马尔可夫链中该结束标