The Research And Application Of Worklfow Modeling Method Based On Colored Timed Petri Net

As the core technology of business process modeling, simulation analysis,optimal management and integration, workflow technology has been widely used inthe project management, office automation, business process reengineering and soon. Modeling is the key link of workflow technology, and model quality directlyaffects the performance and efficiency of follow-up workflow management system.At present, most of the workflow modeling technology is unable to cope withcomplex information system and lacking effective method for model structurerationality and performance analysis.Through the research of existing workflow modeling methods, this thesisestablishes a department official document processing workflow model based oncolored timed Petri net firstly, then analyzes the structure rationality and timeperformance of this model. Finally, the document processing system is welldesigned and implemented. The main works are as following:1. Taking the great advantage of classical Petri net in modeling, the thesisextends it by color and time, and researches colored timed Petri net-based workflowmodeling technology. With an analysis of real flow, the department officialdocument processing workflow model is established by colored timed Petri net.2. Aiming at the shortage of reachability tree in the analysis of complexworkflow model structure rationality, this thesis puts forward a structure rationalityverification method which is based on workflow net replaceability. Through thereasonable and safe building blocks, the official document workflow model isconstructed step by step, and the rationality verification of the model is completedin this process.3. The time performance analysis method of colored timed Petri net-basedworkflow model is researched in this thesis. According to transition time delay, thetime equivalent transformation rules of four basic components are given. By theserules, the thesis calculates time performance of the official document workflowmodel, so as to ensure that the time performance could meet practical need.4. On the basis of above researches and the department’s practical situation,the thesis firstly analyzes the functional requirement of this department officialdocument processing system, in addition, designs its frame structure and key modules. At last, by using workflow development framework WF and EXTtechnology, the development and testing environment is built, and the officialdocument processing system is realized and tested finally.