Research On Workflow Model Based On Petri Net

Since the human into the industrial era of information, in the face of market demand change rapidly in an increasingly competitive world more and more complex, personalization and customization of customer requirements, how to complete the organization of the business process management and process optimization become facing the development process to be a problem. The emergence of workflow execution provides a solution for the integration of complex information environment, business processes automatically. A workflow is a business process, in whole or part of the self-executing, and workflow management capabilities, business processes must be abstracted from the real world, and a formal method to describe it, the result is called workflow model.Once created, the workflow model should first verify the correctness of the model, testing whether the workflow to achieve the desired business objectives, performance indicators, to identify the model of the deadlock, bottlenecks and redundant parts, thus modify the model to reach optimal performance. The correctness of the model validation and performance evaluation of workflow systems is currently a major research and application areas.Petri net system is a suitable model to describe asynchronous concurrent phenomena, not only has an intuitive graphical advantages but also has a mature theoretical basis and analytical techniques for modeling and analysis with Petri nets, workflow technology has a very important significance.In this paper, I researched workflow business model based on Petri nets and its correctness and performance verification.I introduced the knowledge of classic Petri nets and time Petri net theory and introduction to the concepts, and then analyzes the workflow and workflow model and gives the reference model list modeling method, the final the constraint arc and test arc introduced Petri net model and the time Petri nets extended form constraints combined time Petri nets, combined with asset information management system to give the corresponding business model.In the correctness of the model proposed authentication algorithm and the model example of a validated, analyzed time performance of the model in terms of the performance of the model, four structural workflow model:sequential structure, parallel structure, select the structure and cycle structure performance analysis and combination of these analysis techniques to analyze the performance of the model instance of time.