Research On Workflow Modeling Based On Colored Petri Net

Recently, Workflow Management technology, a rapidly developing technology, has been applied to many trades. The most important function of workflow management system is modeling. The model must reflect business process, and it's necessary to find a way to express workflow process.More numerous scholars and specialists have identified with workflow net based on classical Petri net. It, therefore, can describe sequence, concurrent and conflict. And it makes system visual and understandable. There, however, are some limitations:It is difficult to control flow of business, and has too much state when system is very complicated. So the paper extends classical Petri net by color. Then it Puts forward workflow net based on Colored Petri net. This model consists of Process model describing business process and resource model describing enterprise resource. It has a strong ability to express the business process, supporting the analysis and validation of workflow model... This thesis puts forward a detailed model design, including the process model design and the resource model design.A resource manager is modeled; the resource manager assigns and releases resource. Tasks and sub-procedures inside a procedure, communicate with the resource manager and the resources via the other connectors. A way of mapping arithmetic from business process to workflow net is designed in this thesis based on task structures which is first created by Aalst. The thesis designs the algorithmic and its realization.The thesis debates two workflow model analyzing technologies: qualitative:Analysis and quantitative analysis. In addition, it describes simulation analysis method and concrete application by a series of examples. In the end, the thesis represents an application case and models its business Process.Finally, the thesis summarizes the research work, points out the disadvantages of this paper and gives some ideas for the further work.