Workflow Process Model Structure Verification Based On Petri Net Reduction Techniques

With the developing of Internet and the increasing of enterprise computer application requirement, now Workflow has been widely deployed in many enterprises to manage their business processes as a key technology of process definition, management and monitoring. Workflow management systems are most used in every process to manage enterprise business combined with enterprise Business Process Reengineering(BPR) and to achieve business process automation.Workflow model is the abstract expression for workflow. That is, abstract expression for the business process. Workflow management that the function of in establish stage main is to complete the computerization definition of the business process, that is to complete the task of process modeling. At this stage, using one or more modeling methods and their corresponding modeling tools, to complete a transformation of the actual business process to computer can handle the formal definition. The definition is usually called to the process model, process templates, process metadata or process definition.If an erroneous workflow model goes into production, it will cause dramatic problems for the organization such as extra work, legal problem, managerial problems, and so on. Therefore, it is important to verify the correctness of a workflow process model, structure soundness verification is the minimum requirements for workflow process model.This paper discusses the structure soundness verification of the workflow process model. At present, the work flow system develops to large-scale, this causes based on the reachability graph verification technology faced with the problem of state-space explosion when verify the large-scale model. Therefore, in this paper, it puts forward workflow process model structure verification based on petri net reduction techniques, this verification process ensure reduced the process model can maintain the integrity of the original model.In this paper, first introducing the definitions of Petri nets, Workflow Petri nets and process soundness; Secondly introducing two reduction technologies for Petri net: Desel and Esparza reduction technology, Murata reduction technology; Finally giving a procedure of structure soundness verification for workflow process model.