The Research Of Modeling And Properties Based-on-Petri Net WorkFlow

Petri net is one of the computer science branches; it has some profound connotative meaning and wide application background. Its main characters are concurrency, indetermination, asynchronism description and analysis ability. With the advantages discussed above, Petri net has extensive applications in descripting and modeling of discrete event systems.Workflow is a new hot topic research in the computer application domains after the 1990s. It is composed of Workflow definition, Workflow modeling, Workflow inplement project and Workflow transaction management. Besed on Petri net, Van der Aalst defines Workflow, where transiton is used to denote activity, place is used to denote enabled condition of activity. He also realizes Workflow notion mapped to Petri net model under the criterion definition of WfMC, and establishes basic module and trigger mechanism.My work is practical application modeling, properties research and WF-net confusion detection based on basic Petri net. Using folding,refinement,invariants, thoroughly discuss the theory and application of Petri net and WF-net, and draw some new outcomes as follows.(1) About theory research of Petri netRecently, based on S-invariant to discuss Petri net system structural properties have received more and more attention for people. Because positive S(T)-invariants has very important status in researching some properties of Petri net system, this paper finds a polynomical-time algorithm to decide positive S(T)-invariants of P/T system using incidence matrix, verifies some properties of P/T system by it.(2) About simulation and verificationCyber nets are self-modifying nets. It is applied in concurrent program specification, the math modeling, industrial control and so on. Based on it, some regulations are defined to model a process of product batch processing by it, proving this model is reasonable and available by analysis technique of Petri net.(3) About theory research of WorkflowWorkflow derives from the development of office automation. It is formulation description of asynchronism concurrent business process. Its goal is to transmit fit information to those who need it when it is needed, to finish the business effectively. Workflow technology provides a complete frame of analysis, modeling, management, simulation, running in order to management process of corporation, automation management control process and supreme decision-making system. It is key technology to realize business process management and control.In the process definition, Aalst inducts three subnets based on WF-net: Free Choice WF-net,Well-formed WF-net,S-covered WF-net, its purpose is that prevents from affecting soundness of some structure, maybe structural confusion like this. Above all, this paper makes use of definition of confusion in Petri net, discusses confusion in the WF-net, finds an algorithm to detect structural confusion ,detects confusion and uses this technique to some application instance in the WF-net.