Timed Petri Nets-based Workflow Modeling And Application In Administrative Permit System

Workflow technology can implement process modeling, simulation analysis, optimization, management and integration, which is the key technology for the realization of automation. The workflow management technique separates the process logic from the application system, therefore achieves the purpose of modeling, recombination and reuse of the process. Most of the existing workflow modeling methods have no support for verification of the workflow rationality, and also can not analyze the performance of the system.By considering time element on traditional Petri Net , a timed Petri Nets-based workflow modeling method is proposed. A kind of basic approaches for computing time constraint is obtained by linear inference of fundamental route structure of the Petri Net model. To overcome the analytic difficulty of the complex administrative permit business model, a method called hiberarchy is suggested to achieve simplified model. The hiberarchy is realized by bringing in subflow. Furthermore a resource-sharing service workflow model with a preemption mechanism based on stochastic Petri Nets is designed to solve the problems of resource sharing and resource conflicting. Finally performance valuation of the proposed model is carried out.Applying this workflow modeling to practical use, one district's administrative permit system of Beijing is developed. Taking the advantage of Java, Oracle data base and other popular techniques, the designed system has the characteristics of high flexibility, strong applicability, and good stability. Results of theoretical research have obtained good application in this system.