Research And Realization Of Document Transition System Based On Time Petri Net

Workflow modelling methods and its application in the workflow system have becomed the hotspot of the workflow research field.Researching into the flexible and adaptive workflow modeling methods,and probing into the model have an guiding effect upon real workflow system's development,and making it becoming easy to adapt to the dynamic change with the business environment are investigative topic of this paper.Petri Nets System is an advanced tool to describe asynchronies computing model,since that time it has been studied in depth, and possess stability theory basis and analyses technology.But there are certain deficiencies in modeling expressions of classical Petri Net.This paper analysis modeling method based on classical Petri Net and the weak point of modeling method applied to model the document workflow.This paper probes into document workflow's modeling method based on Time Petri Nets,which is on the foundations of researching into workflow's modeling method based on Petri Nets.The paper adds the time key element in the model, which displays uncertain incident and time in the real business procedure, so the model has certain flexibility and adaptability.Furthermore, the paper provides the verification of the workflow model based on the covering tree method.In the end, the paper have developed a document management system and this system is based on the B/S three layers structure.The System through document workflow customization of the realization,documents transfering variability of the design of the realization, commissioning and tracking mechanism,Reminding tasks of the realization , which embodies this development system flexibility and adaptability.This paper has designed the customization of the document flow especially in the systematic design, and joined time factor and treatment when time reaching in the course nodal definition.These design make the system have ability with customized procedure,at the same time,the customized procedure also has certain flexibi- lity.