基于Petri网的工作流模式研究  

Research on workflow patterns based on Petri nets

作　　者：张亮[1] 姚淑珍[1] 

机构地区：[1]北京航空航天大学计算机学院,北京100083

出　　处：《计算机集成制造系统》2006年第1期54-58,共5页Computer Integrated Manufacturing Systems

摘　　要：为了满足企业对过程模型描述能力的需求,提出了一个基于Petri网的新工作流模式完全解决方案。在深入研究工作流模式的基础上,应用高级Petri网技术来构造所有的工作流模式。抑制弧通过测零帮助实现多实例的同步,消耗库所负责移除多余的标记,带标记的库所实现对变迁触发序列的控制;设计加权弧和限制容量的库所来实现同步M条路径中被激活的N条的情况。本方案实现了将所有的工作流模式,从基本到复杂,都映射到相应的Petri网上。最后,通过一个集成制造过程模型的实例,说明基于Petri网的方案能够完全满足企业在模型描述能力上的各种复杂需求。To satisfy the enterprise process modeling requirements in an imperative workflow style expression, a new complete workflow solution based on Petri nets was proposed for enterprise modeling application. Based on a deep research on workflow patterns, the solution adopted the advanced Petri nets technology to construct all workflow patterns. Inhibitor arc realized synchronization among multiple instances via testing zero state of place. Consumed transition was designed to remove the redundant tokens. Place with a token contributed to control of the firing sequence of transitions. Arc with the value of weight and place with the value of capacity were used to synchronize N paths out of M paths. All workflow patterns, from basic to complex, were all mapped onto the corresponding Petri nets. An application example of integration manufacturing process modeling was introduced to illustrate that the proposed solution based on Petri nets could completely satisfy the enterprise requirement on comprehensive workflow style expression.

关 键 词：企业过程建模 PETRI网 工作流 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]