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

《petri网在服务外包公共平台中流程建模与优化的应用》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、Petri网在服务外包公共平台中流程建模与优化的应用高淑兰李杰（五邑大学经济管理学院广东江门５２９０２０）摘要：利用Ｐｅｔｒｉ网解决服务外包公共平台中业务流程建模及优化问题。首先阐述Ｐｅｔｒｉ网的基本原理，然后以服务外包公共平台中的一个接包流程为例进行Ｐｅｔｒｉ网建模，继而讨论该Ｐｅｔｒｉ网的合理性，再根据Ｐｅｔｒｉ网的优化规则对其优化，最后根据分析得出结论。关键字：Ｐｅｔｒｉ网；流程建模；流程优化中图分类号：TP301.1文献标识码：Ａｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６６５－２２７２．２０１5．0

2、7．００42０引言以公共服务平台进一步推动外包业的发展，根据其需求开发服务外包公共平台。服务外包公共平台中流程的正确性需要验证，流程的不合理环节需要更正、优化。而Ｐｅｔｒｉ网正可以通过建模、合理性分析及优化过程来解决服务外包公共平台中业务流程出现的这些问题。１Ｐｅｔｒｉ网基本原理Ｐｅｔｒｉ网是ＣａｒｌＡｄａｍＰｅｔｒｉ于１９６２年提出，是一种通过过程建模和分析来进行过程图形描述的强有力工具。定义：Ｐｅｔｒｉ网用一个三元组表示ｎｅｔ＝（Ｓ，Ｔ；Ｆ）：ａ．Ｓ∪Ｔ≠ｂ．Ｓ∩Ｔ＝ｃ．Ｆ（Ｓ×Ｔ）∪（Ｔ×Ｓ）ｄ．ｄｏ

3、ｍ（Ｆ）∪ｃｏｄ（Ｆ）＝Ｓ∪Ｔ其中ｄｏｍ（Ｆ）＝｛ｘ∈Ｓ∪Ｔ｜ｙ∈Ｓ∪Ｔ：（ｘ，ｙ）∈Ｆ｝ｃｏｄ（Ｆ）＝｛ｘ∈Ｓ∪Ｔ｜ｙ∈Ｓ∪Ｔ：（ｙ，ｘ）∈Ｆ｝在上述条件中，Ｓ与Ｔ是不相交的两个集合，Ｓ是库所的集合，Ｔ是变迁的集合。Ｆ是网ｎｅｔ的流关系。Ｓ里的元素库所代表一种状态，Ｔ里的元素变迁代表任务，任意两个库所或者任意两个变迁之间都没有有向边相连接；托肯表示可用的资源，变迁的就绪状态是它的前库所中有可用资源即存在库所。图形表示时，他们对应的符号如下：库所——○；变迁——□；流——→；就绪库所——⊙。２基于ｐｅｔｒｉ

4、网的接包流程建模ｐｅｔｒｉ网的流程建模是根据其定义实现业务流程到ｐｅｔｒｉ网模型的映射。２．１服务外包公共平台接包流程图服务外包公共平台中接包流程如图１所示。该流程的服务对象包括承接外包项目的单位和发布外包项目的单位。２．２服务外包公共平台接包流程的Ｐｅｔｒｉ网模型根据Ｐｅｔｒｉ网定义，建立了服务外包公共平台中接包流程的Ｐｅｔｒｉ网模型如图２所示。其中库所Ｐ１为开始，Ｐ２为接包方已注册状态，Ｐ３为接包选定待接包项目，Ｐ４为接包方得出发包单位评估结果，Ｐ５为接包方得出待接包项目评估结果，Ｐ６为接包方处已申请接

5、包状态，Ｐ７为接包方的项目初步方案，Ｐ８为发包方得出接包单位评估结果，Ｐ９为发包方得出评估项目初步方案的结果，Ｐ１０为发包方处同意发包状态，Ｐ１１接包方已收相关文件及电子合同，Ｐ１２为接发包双发皆有意愿签署合同，Ｐ１３为接包方已放弃承接该待接外包项目，Ｐ１４为发包方拒绝承包该外包项目，Ｐ１５为接包方已放弃签署合同，Ｐ１６为结束。变迁Ｔ１为接包单位注册系统，Ｔ２接包方查询待外包项目，Ｔ３为接包方评估发包单位，Ｔ４为接包方评估待接包项目，Ｔ５为接包方是否提交接包申请，Ｔ６为接包方制定该外包项目的初步方案，Ｔ７为

6、发包方评估接包单位，Ｔ８为发包方评估项目初步方案，Ｔ９为发包方是否决定发包，Ｔ１０为发包方发送相关文件及电子合同，Ｔ１１为接包方决定是否签订合同，Ｔ１２为签订合同。３基于Ｐｅｔｒｉ网的服务外包公共平台接包流程优化３．１验证Ｐｅｔｒｉ网模型的合理性流程优化得先确定该Ｐｅｔｒｉ网模型的合理性。一个正确的Ｐｅｔｒｉ网模型不能出现死锁、冲突、冲撞、混惑等情况。一个合理的的工作流网模型必须具备以下条件：（１）只有一个起始库所和一个结束库所；（２）每一个变迁和库所都是在起始库所到结束库所的路径上；（３）最终有且只有一个

7、资源出现在结束库所中，且当结束库所中出现资源时，其他所有的库所都是空的；（４）对任意一个变迁，从初始状态都能够到达该变迁的就绪状态；（５）原则上避免某库所可以被多个变迁所产生而发生数据不一致。由图２得出该模型满足条件（１）和（２）。接下来可设图２的初始条件Ｍ０＝［１０００００００００００００００］Ｔ，然后根据状态方程计算出各个变迁序列激发后的标识从而得到的可达图从而可知该流程网模型的特性如下：其一，可达图中的节点里没有出现无限值ω，所以它是有界的；其二，可达树中节点的分量都是“０”和“１”，可见它是安全的；

8、其三，在可达标识图中，每个变迁至少是一条有向弧的旁标，说明它是活的，不存在冗余。３．２流程模型优化规则、意义及其实现针对流程分析中经常出现的情况，并结合本文Ｐｅｔｒｉ网的模型特点，以下提出４条优化规则及其影响：（１）增加库所。增加库所以解决资源冲突、冲撞、阻塞现象。（２）增加虚拟变迁。加入变迁以解决由资源不足而引起的变迁或者变迁组不能同步的问题。（３）串行变并行。合理地调整或者减少库所的约束，使变迁同步，是不存在