Extended Petri-net for Workflow Modelling

Along with the application of workflow in the area of industry and business, workflow modelling techniques encounter a great challenge. The power of expressiveness and analysis is one of the key problems in workflow modelling. Based on a rigorous analysis of various workflow models, description net (DWF_net for short) was proposed based on Petri-net. In DWF_net control variable (CV for short) was introduced for describing complex data structure and transition consisted of entry function and body function. Some mechanisms were added to allow for a direct support of complex process description. DWF_net could be mapped onto Petri-net by peeling the semantic information of case. So the analysis method of DWF_net was built on Petri-net analysis techniques. Finally, an industrial example was introduced to illustrate how to apply the proposed model to describe and analysis various complex process