第一论文网免费提供科技创新论文范文,科技创新论文格式模板下载

Petri网在服务外包公共平台中流程建模与优化的应用

  • 投稿Jimm
  • 更新时间2015-09-28
  • 阅读量711次
  • 评分4
  • 28
  • 0

高淑兰 李杰

(五邑大学经济管理学院广东江门529020)

摘要:利用Petri网解决服务外包公共平台中业务流程建模及优化问题。首先阐述Petri网的基本原理,然后以服务外包公共平台中的一个接包流程为例进行Petri网建模,继而讨论该Petri网的合理性,再根据Petri网的优化规则对其优化,最后根据分析得出结论。

关键字:Petri网;流程建模;流程优化

中图分类号:TP301.1 文献标识码:A doi:10.3969/j.issn.1665-2272.2015.07.0042

0引言

以公共服务平台进一步推动外包业的发展,根据其需求开发服务外包公共平台。服务外包公共平台中流程的正确性需要验证,流程的不合理环节需要更正、优化。而Petri网正可以通过建模、合理性分析及优化过程来解决服务外包公共平台中业务流程出现的这些问题。

1Petri网基本原理

Petri网是Carl Adam Petri于1962年提出,是一种通过过程建模和分析来进行过程图形描述的强有力工具。

定义:Petri网用一个三元组表示net=(S,T;F):

a. S∪T≠

b. S∩T=

c. F (S×T) ∪(T×S)

d. dom(F) ∪cod(F)= S∪T

其中 dom(F)={x∈S∪T | y∈S∪T :(x,y) ∈F}

cod(F)={x∈S∪T |y∈S∪T :(y,x)∈F}

在上述条件中,S与T是不相交的两个集合,S是库所的集合,T是变迁的集合。F是网net的流关系。S里的元素库所代表一种状态,T里的元素变迁代表任务,任意两个库所或者任意两个变迁之间都没有有向边相连接;托肯表示可用的资源,变迁的就绪状态是它的前库所中有可用资源即存在库所。图形表示时,他们对应的符号如下:

库所——○;

变迁——□;

流——→;

就绪库所——⊙。

2基于petri网的接包流程建模

petri网的流程建模是根据其定义实现业务流程到petri网模型的映射。

2.1服务外包公共平台接包流程图

服务外包公共平台中接包流程如图1所示。该流程的服务对象包括承接外包项目的单位和发布外包项目的单位。

2.2服务外包公共平台接包流程的Petri网模型

根据Petri网定义,建立了服务外包公共平台中接包流程的Petri网模型如图2所示。

其中库所P1为开始,P2为接包方已注册状态,P3为接包选定待接包项目,P4为接包方得出发包单位评估结果,P5为接包方得出待接包项目评估结果,P6为接包方处已申请接包状态,P7为接包方的项目初步方案,P8为发包方得出接包单位评估结果,P9为发包方得出评估项目初步方案的结果,P10为发包方处同意发包状态,P11接包方已收相关文件及电子合同,P12为接发包双发皆有意愿签署合同,P13为接包方已放弃承接该待接外包项目,P14为发包方拒绝承包该外包项目,P15为接包方已放弃签署合同,P16为结束。变迁T1为接包单位注册系统,T2接包方查询待外包项目,T3为接包方评估发包单位,T4为接包方评估待接包项目,T5为接包方是否提交接包申请,T6为接包方制定该外包项目的初步方案,T7为发包方评估接包单位,T8为发包方评估项目初步方案,T9为发包方是否决定发包,T10为发包方发送相关文件及电子合同,T11为接包方决定是否签订合同,T12为签订合同。

3基于Petri网的服务外包公共平台接包流程优化

3.1验证Petri网模型的合理性

流程优化得先确定该Petri网模型的合理性。一个正确的Petri网模型不能出现死锁、冲突、冲撞、混惑等情况。一个合理的的工作流网模型必须具备以下条件:

(1)只有一个起始库所和一个结束库所;

(2)每一个变迁和库所都是在起始库所到结束库所的路径上;

(3)最终有且只有一个资源出现在结束库所中,且当结束库所中出现资源时,其他所有的库所都是空的;

(4)对任意一个变迁,从初始状态都能够到达该变迁的就绪状态;

(5)原则上避免某库所可以被多个变迁所产生而发生数据不一致。

由图2得出该模型满足条件(1)和(2)。接下来可设图2的初始条件M0 =[1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ]T,然后根据状态方程计算出各个变迁序列激发后的标识从而得到的可达图从而可知该流程网模型的特性如下:

其一,可达图中的节点里没有出现无限值ω,所以它是有界的;其二,可达树中节点的分量都是“0”和“1”,可见它是安全的;其三,在可达标识图中,每个变迁至少是一条有向弧的旁标,说明它是活的,不存在冗余。

3.2流程模型优化规则、意义及其实现

针对流程分析中经常出现的情况,并结合本文Petri网的模型特点,以下提出4条优化规则及其影响:

(1)增加库所。增加库所以解决资源冲突、冲撞、阻塞现象。

(2)增加虚拟变迁。加入变迁以解决由资源不足而引起的变迁或者变迁组不能同步的问题。

(3)串行变并行。合理地调整或者减少库所的约束,使变迁同步,是不存在相互依赖的变迁能偶并发执行以缩短流程长度和完成时间,提高流程效率。

(4)合并中间环节。合理地合并依赖紧密的变迁,使Petri网结构得到简化。

(5)简化流程单元。

根据上述流程优化原则,对图2中服务外包公共平台接包流程Petri网模型进行优化。首先,寻找顺序结构可以发现T3和T4是由同一资源(接包方)完成,因此可以将其合并优化为T3;然后,T6与T7是由不同资源(分别为发包方和接包方)完成,并且T6的的后置条件并不是T7的前置条件,所以可以将他们并行优化;并行过程需要,在并行之前与之后分别添加了虚拟变迁T14、T15,分别用于AND-split任务和AND-join任务。优化后的Petri网模型如图3所示,T3为接包方评估发包单位和待接包项目,除以上说明之外,其余各变迁所代表意义与图2无异。 

优化后的该模型,合并了由同一资源完成的任务,并行了不同资源完成且无依赖关系的任务。根据流程优化意义,不但使模型结构得到简化,还缩短了流程长度和完成时间,提高了流程效率。

4结语

本文针对服务外包公共平台开发中存在的关于如何合理化业务流程、如何优化业务流程,提高外包效率和速度的问题,利用了Petri网模型原理、分析方法、优化原则,通过应用接发包流程为例进行建模、合理性分析以及优化,成功地解决了关于流程合理性验证和优化问题,也丰富了Petri网理论与平台开发实践结合的内容。本文不足之处在于因篇幅所限对可达图所述不够详尽,再者未对模型进行仿真,缺乏实验数据。

教育期刊网 http://www.jyqkw.com
参考文献

1吴哲辉.Petri网导论[M].北京:机械工业出版社,2006

2王建民,闻立杰.工作流管理——模型、方法和系统[M].北京:清华大学出版社,2005

3蔡敏,蒋元涛.基于Petri网的审批政务流程优化分析[J].中国经贸导刊,2007(3)

4蔡林峰. Petri网在ERP实施中业务流程建模的应用[J].佳木斯大学学报(自然科学版),2009 (5)

(责任编辑吴汉)