Modeling And Implementation For Resident Training Workflow System Based On High-Level Petri Net

Currently, the Government agencies and enterprises are emerging a changing trend from the manual office mode to automation office mode based on workflow technology. Workflow Management System realizes the automation management of enterprise business process, and improves efficiency and quality of the enterprise. In order to make the resident training system to be run concurrently and coordinately and the workflow to be operated correctly and fluently, an effective and formal modeling technique is needed to construct model for the system. Formal Modeling Method can define and formally analyze the models clearly, understandably and unambiguously. Petri net is not only a useful tool to study discrete and concurrent system, but also the most important workflow modeling and analysis methods.The workflow modeling and analysis methods, and the description and implementation of workflow model based on High-Level Petri net have been studied, and the contents of modeling-analysis-implement of Resident Workflow System with a complete set development process have been shown. In Workflow modeling process, a synthesized modeling method has been proposed to construct the system model based on high-level colored Petri net relating to inter-organizational Petri net.The colored set is obtained by merging the symmetry Place and Transition, which realized the steady transformation from traditional Petri net to high-level Petri net. In model validation process, classification validation is proposed to validate the performance of inter-organizational model. The validation method is that using invariant validation to validate the activity of the inter-organization and using reduction-reachability graph method to validate the reachability of the association among different sub-organizational. In the model describing process, Predecessor-Successor code description method is proposed to describe the Petri net model,which changing the graphical Petri net model into code with specific rules, and then using the XML-file to describe the properties of each node.The whole describe process enable the Petri net model technology to practical application in the residency training system.The workflow model based on colored inter-organizational High-level Petri net improves the efficiency of resident training system; the invariants and reduction -reachability graph verification method can guarantee no deadlock in this system and implement the training program running accurately.