基于基于petri网的文件审批系统工作流建模网的文件审批系统工作流建模
以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并
利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型的可达性、活
性、有界性等petri网的性质进行了验证。结果证明,该技术能够在文件审批系统中进行建模和可行性验证。
摘摘 要:要: 以
关键词:关键词: 文件审批系统;petri网;工作流;模型映射与化简
根据国际工作流管理联盟的定义,工作流就是“一类能够完全或者部分自动执行的经营过程,它根据一系列过程规则、文
档、信息或任务能够在不同的执行者之间进行传递与执行”[1]。工作流网由荷兰Eindhoven大学的AALST V D提出。AALST在
工作流过程建模中引入petri网技术,通过对petri网的扩展,利用petri网良好的形式化手段来建立一种可靠的工作流模型[2]。采
用基于petri网的工作流模型可以直接利用现有的分析技术,如可达图、矩阵方程、化简[3]等来对模型进行一系列的定量和定
性分析。
1 petri网简介网简介
一个petri网由库所、变迁和有向弧三类结构元素构成。库所(Place)用圆圈“○”表示,用于描述系统的局部状态(条件或状
况);变迁(Transition)用方框“□”表示,用于描述该系统状况的事件,库所和变迁之间用有向弧连接。系统的动态特性使用
托肯(Token)标识,用黑点“?誗”表示。如果一个库所表示一个条件,它能包含零个或多个托肯。当一个或多个托肯在这个库
所中时条件为真;否则为假[2]。
petri网的定义如下[4]:
三元组称为网PN=(P,T,F),其充分必要条件是:
2 工作流网简介工作流网简介
通过用变迁表示活动、库所表示活动触发的条件、令牌表示事例建立工作流的petri网模型,过程的启动条件和终止条件用
两个库所i和o表示。这样通过映射可以将工作流网(WFPN)定义的工作流原语映射为petri网,将petri网模型定义为工作流网络
[1]。
当且仅当以下条件成立时,一个petri网PN=(P,T,F)是工作流网[5]:
(1)PN有一个源库所i∈P,使得?誗i=?椎;
(2)PN有一个汇结库所o∈P,使得o?誗=?椎;
(3)每一个节点x∈P∪T都属于从i到o的一条路径上。
3 文件审批系统的文件审批系统的petri网建模网建模
3.1 流程的描述流程的描述
本课题来源于某地区压裂油田井的施工过程。在压裂施工设计编写完成后,经过审批发放到各个作业大队,交由施工小队
完成作业。在审批过程中还涉及到一些普压井,在流程上有所区别,业务流程如图1所示。首先1~10开发井采油厂自己设计
出压裂方案,交由井下压裂方案岗。井下压裂方案岗通过借阅井史审核压裂方案,若不合格,则返回送到1~10厂重新设计,
若合格则送到二室各组编写施工作业指导书。依次送到各组岗长、副主任审核指导书,若不合格则返回二室相应各组;若合格
则经副主任审核完毕后判断是否为普通压裂井。若是普通压裂井,则进入完成阶段,直接送到普通压裂井室进行其对应的施
工;若不是普通压裂井,则需要副大队、公司总工的进一步审核,若不合格则再次进入二室各组重新编写施工作业指导书,若
合格则送到普通井施工室。方案经审核合格后,上传到平台,供施工大队及小队下载使用,流程结束。