The Research Of The Workflow's Temporal Character And Its Application Based On The Timed Petri Net

Workflow technology is the key technology that assists enterprise business process realizing the modeling, simulation, analysis, optimization, management and integration, and finally automation. The workflow management technique separates the process logic from the applications, achieves the purpose of process modelling, recompose and reuse. Now the research of the modeling of workflow is mainly about the process modeling and is scaring about the organization modeling , the resource modeling and the time modeling. At now the majority of WFMS have no the function of managing the temporal resource or only a bit of this, so the management of time become the bottleneck of WFMS.This paper first introduces the origin, definition, types, merit of workflow technology , Workflow Management System (WfMS) and its developing status at now. Then it comes to the definition, types, management of the workflow's temporal constrained character.Aimed at the actuality of the research about the temporal management of wfms, this paper has carried out the research as following based the workflow modeling using the time PETRI net:Based on the traditional Petri net, the extensional temporal constrained workflow net is put forward as a workflow modeling method based on the time Petri net. The method can integrate the process modeling and the time modeling effectively so that the system can incarnate the dynamic movement of the work process and the environment well. Then the deadline of the time constrained management is researched, and a static distributed method of the deadline is presented. Secondly, if the deadline adjusted dynamic when the workflow instance is being executed, the output of the system can be improved for the existing of the slack time, so a new method of adjusting the deadline dynamic is presented.On the foundations of theoretical research, we have developed an office automation system for the affair of exam. This system is developed under the background of the "The Office Automation System of the organization of the vocational skill auditing examination of the ministry of electric power." and based on the B/S , C/S structure. The system's characteristic is that it has some brief functions about the temporal constrained management and can handle the system's exception automatically if the failure comes.Finally, based on the theory of the linear temporal logic inference, the paper gives the computation about the time constrained character of the office automation workflow system for the affair of exam at detail. And this provides the reliably foundation for the analysis and the evaluation to the system of the time constrained character.