Research On Workflow Model Method And Validation Based On Petri Nets

Workflow process modeling is an important function of workflow managementsystem, focusing on the formal definition of the workflow model and validation, makingfull use of advanced technology to improve the performance and robustness of theworkflow management system in practical operation. With the development ofinformation technology, the expansion of information resources, business processes areincreasingly complex, implicit error rising abnormal ratio of business processes, andhow to better achieve the organization and management of the business process,workflow management system process of building mode utility facing an important testof whether the better play.Nature of Petri nets is a finite state machine model, it’s very convenient to thedescription of asynchronous concurrent process, while taking into account the strictsemantics and intuitive graphical language, having rich theoretical base and maturetechnology, coupled with the scalability of Petri nets, workflow process modeling andanalysis with Petri nets have great significance to meet the objectives to be achieved bythe process of modeling. With the complexity of the system business processimprovement, the classic expression of Petri net capacity and verification capability hasbecome increasingly obvious deficiencies, coupled with the the model accessibilityrequirements facing efficiency and space explosion problem, exacerbated by thedifficulties of the analysis of the Petri net model. To solve this problem, this paperexpansion inhibitor arcs and reset arcs elements to define extended workflow netEWF-net, focus on EWF-net reasonable verification problem, the main research contentof this study can be specified as follows:This paper first introduces the basic knowledge of workflow technology, thetraditional definition and the theory of Petri nets, the definition of workflow nets and itsrequirement of soundness. Then focus on analysis the expansion inhibitor arcs and resetarcs elements to meet the model need higher required of expression and validationcapabilities’s EWF-net’s definition and soundness property,and as the reachabilityrequirements is facing the efficiency and NP problems,to ensure the constant of themodel structure characteristics, adopt the method of reduction rules to achieve thevalidation of the model.This reduction method is base on the Murata simplificationrules,combining the petri nets and circuit logic algebra to realizate the further strengthened of formal verification capabilities and mathematical theory, in order toreduce the model space complexity. The next use of the extend workflow net randomtime Petri nets (EWF-GSPN) which apply the theory of Markov chain and simulationtechnology to achieve the performance of the model analysis, through a comprehensiveexample to test the feasibility of performance analysis and combined with Pipe3.0software on model validation of the theory of Petri nets, looking for methods to improvethe efficiency of the workflow management system. Finally, through the brief analysisof the document workflow management prototype system which defined processes,deepen understanding and application of the knowledge of the workflow managementsystem.