Workflow Modeling Research And Analysis Based On Colored Petri Net

Workflow model is one of the most functional parts in a Workflow Management System (WFMS).It is a key to the realization of a WFMS.The study of workflow modeling mainly concerns the way to express clearly and accurately business process within actual application and especially the way to formalizing.There are two purposes for workflow modeling:one is simulated and analyzed the system,and the other is done cost budget analysis for the system.In the cost budget,the workflow modeling research based on Petri net is in the elementary step.Some models were built by numerous scholars,but most of them were based on the Petri net,they also can not well model the complex business process and describe the net structure with multi cases.This paper proposes Price Coloured Petri net which is a kind of Coloured Petri net extended with price information to meet the demand of costs and budget analysis in the business process modeling.The transition step rule of Price Coloured Petri net is defined,then the minimum costs generation algorithm is introduced.In the end,a business process case is demonstrated as a application of the model.The conclusion is that Price Coloured Petri net is a good model to solve the costs and budget analysis problem in the business process modeling.