基于Petri网的高校设备采购工作流建模分析和优化.pdfVIP

第4 期 童 吉:基于 Petri 网的高校设备采购工作流建模分析和优化 1 189 性验证算法和工作流的优化算法，通过实践应用证明 则，组织专家确定中标供应商和中标价格，并公布中标 这一优化算法的有效性。 结果。在中标结果公布期间，如有投诉，采购员受理投 诉，并对投诉进行评估，如没有则确定供应商，并编制 1 基于 Petri 网的工作流网 合同，将编制好的合同提交用户、采购管理办公室、项 Aalst 在 Petri 网的基础上提出了工作流网( WF- 目管理部门和审计等部门确认。确认通过后和供应商 net) 的概念[3] 。其相关的概念定义表示如下。 签订合同G 然后供应商将根据合同供货，项目管理部 定义 1 Petri 网可以形式化地表示为三元组 N 门组织专家验收。验收通过后最后进入财务核销流 =(P, T, F) ， 其中:P 表示库所的集合;T 表示变迁的 程，并结束采购流程。整个流程基于 Petri 网描述如图 集合;F 表示 P、 T 间弧的集合，且 F Ç, (P x T) U (T x 1 所示。 P) 。 岛内 定义 2 工作流网(WF-net) 一个 Petri 网 PN= ( P , T , F) 是工作流网，且当:①存在一个唯一的源库所 iE P， 使得 i = φ;②存在一个唯一的汇结库所 OEP， 使 得;0 = φ;③每一个节点 XE PUT， 都位于从 i 到。的 一条路径上。 根据上述定义，可以得到工作流网的基本特征是: 单点输入，单点输出，而且所有结点都必须在某一条从 源节点到宿节点的路径上。 定义 3 合理性基于 PN=(P， T， F) 建模的工 作流 WF-net 是合理的，且当:①对于每一个状态 i 可 o /15 Pu / P21 /21 P12 / P20 达的状态M， 存在一个从状态M 通往状态。的触发序 列，形式化表示为: VM(i• M):::}(M• 0) ; ②状态。 图 I 优化前的高校设备采购工作流网模型 是唯一结束状态，且结束时其中至少会有一个标记， 图中， T = 1t] , t2 ， … ， t..1 为事件序列集，其中 t1 , t2 , 形式化表示为: VM(i→M 八 M~o):::}(M=o); ③在 …心表示事件对应生成的工作流网的变迁节点， P= (PN， i) 中没有死变迁，即所有变迁都可被执行，形式 li ，p， 巾，…， P. ， 01 是模型中的库所集合。各变迁代表 的意义描述如下。 t， :提出采购申请并填写采购清单z 化表示为:VtET， 3M丑 M(i→M→M 。 这个定义表明了工作流网中所有路径最终都将到 t2 :业务主管部门审核内:项吕主管部门审核山:财务处 审核; t~ :用户部门修改采购申请清单山:采购管理办公 达库所。(状态。)中有一个标记的状态，在遍历所有 室编制采购任务书山:采购管理办公室分配采购任务E 路径时，工作流中所有变迁都将触发过，所有库所都将 t :采购员编制采购文件均:将采购文件提请用户确认E 经历过;并且一个标记放入库所。的时刻