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

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

文档信息

目录

五邑大学经济管理学院广东江门      

正文

高淑兰李杰

五邑大学经济管理学院广东江门      

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

关键字    网流程建模流程优化

中图分类号 TP301. 1文献标识码                              5 07  42

引言

以公共服务平台进一步推动外包业的发展根据其需求开发服务外包公共平台。服务外包公共平台中流程的正确性需要验证流程的不

合理环节需要更正、优化。而   网正可以通过建模、合理性分析及优化过程来解决服务外包公共平台中业务流程出现的这些问题。

   网基本原理

   网是        于   年提出是一种通过过程建模和分析来进行过程图形描述的强有力工具。

定义    网用一个三元组表示    

  ∪≠

 ∩

   × ∪ ×

   ∪    ∪

其中  ∈∪  ∈∪   ∈

   ∈∪  ∈∪    ∈

在上述条件中 与是不相交的两个集合 是库所的集合 是变迁的集合。 是网  的流关系。 里的元素库所代表一种状态 里的元素变迁代表任务任意两个库所或者任意两个变迁之间都没有有向边相连接托肯表示可用的资源变迁的就绪状态是它的

前库所中有可用资源即存在库所。 图形表示时他们对应的符号如下

库所——○

变迁——□



就绪库所——⊙。

基于    网的接包流程建模

    网的流程建模是根据其定义实现业务流程到    网模型的映射。

  服务外包公共平台接包流程图

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

  服务外包公共平台接包流程的   网模型

根据   网定义建立了服务外包公共平台中接包流程的   网模型如图所示。

其中库所为开始 为接包方已注册状态 为接包选定待接包项目 为接包方得出发包单位评估结果 为接包方得

出待接包项目评估结果 为接包方处已申请接包状态 为接包方的项目初步方案 为发包方得出接包单位评估结果 为发包方得出评估项目初步方案的结果  为发包方处同意发包状态  接包方已收相关文件及电子合同  为接发包双发皆有意愿签署合同  为接包方已放弃承接该待接外包项目 为发包方拒绝承包该外包项目  为接包方已放弃签署合同 为结束。变迁为接包单位注册系统 接包方查询待外包项目 为接包方评估发包单位 为接包方评估待接包项目 为接包方是否提交接包申请 为接包方制定该外包项目的初步方案 为发包方评估接包单位 为发包方评估项目初步方案 为发包方是否决定发包  为发包方发送相关文件及电子合同  为接包方决定是否签订合同  为签订合同。

基于   网的服务外包公共平台接包流程优化

  验证   网模型的合理性

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

  只有一个起始库所和一个结束库所

  每一个变迁和库所都是在起始库所到结束库所的路径上

  最终有且只有一个资源出现在结束库所中且当结束库所中出现资源时其他所有的库所都是空的

对任意一个变迁从初始状态都能够到达该变迁的就绪状态

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

由图得出该模型满足条件  和   。接下来可设图的初始条件               

  然后根据状态方程计算出各个变迁序列激发后的标识从而得到的可达图从而可知该流程网模型的特性如下

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

  流程模型优化规则、意义及其实现

针对流程分析中经常出现的情况并结合本文   网的模型特点 以下提出条优化规则及其影响

  增加库所。增加库所以解决资源冲突、冲撞、阻塞现象。

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

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

合并中间环节。合理地合并依赖紧密的变迁使   网结构得到简化。

  简化流程单元。

根据上述流程优化原则对图中服务外包公共平台接包流程  网模型进行优化。首先寻找顺序结构可以发现和是由同一资源接包方完成 因此可以将其合并优化为然后与是由不同资源分别为发包方和接包方完成并且的的后置条件并不是的前置条件所以可以将他们并行优化并行过程需要在并行之前与之后分别添加了虚拟变迁 、  分别用于    任务和   任务。优化后的   网模型如图所示 为接包方评估发包单位和待接包项目除以上说明之外其余各变迁所代表意义与图无异。

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

结语

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

教育期刊网http:

参考文献

吴哲辉    网导论 北京机械工业出版社   

王建民 闻立杰工作流管理——模型、方法和系统 北京清华大学出版社    

蔡敏蒋元涛基于   网的审批政务流程优化分析

  中国经贸导刊      

蔡林峰    网在实施中业务流程建模的应用

 佳木斯大学学报自然科学版        

责任编辑吴汉

“Pe tri网在服务外包公共平台中流程建模与优化的应用”文档源于网络本人编辑整理。本着保护作者知识产权的原则仅供学习交流请勿商用。如有侵犯作者权益请作者留言或者发站内信息联系本人我将尽快删除。谢谢您的阅读与下载