Research On Workflow Modeling Technology Based On Expansive Petri Net

The workflow management is widely applied to many domains as one of research hotspots in information time; however, the workflow model is very important in entire workflow technique. Therefore, the workflow model will be researched and discussioned primarily in this dissertation.Firstly, the workflow, the workflow management system and the workflow reference model are elaborated; the definition, transition condition, trigger rule and characteristic of Petri net are researched thoroughly; the definition of workflow, basic discreteness and rationality are analyzed thoroughly.Secondly, to solve the weakly description of out information to model and infirm ability of dealing with complicated model, combining out information control with Petri net, nesting definition on place and transition of Petri net by level idea, OICP net (Petri net based on Out Information Control) is put forward, strict mathematics definition, transition condition, trigger rule and correlative characteristic are given. OICWF-net (WorkFlow net based on Out Information Control) is defined which is modeled with OICP net, and rationality definition on OICWF-net is given.Thirdly, on the basis of OICP net theory, the mathematics definitions of place refinement and transition refinement are given out with refinement theory, and the problem of combinatorial net about OICWF-net'rationality is analyzed in detail, correlative theorems and deductions are given.Finally, OICWF-net about algebra analysis technology is researched on the basis of relationship matrix and state equation, correlative theorems which can checkout the rationality of OICWF-net are given. Meanwhile, one example of ordering by net is analysed and modeled detaily by the theory of OICP level modeling, and the model is amended and validated with OICWF-net' algebraicanalysis technology and OICWF-net' rational theorem.