Research On Petri Nets Based Modeling Process For Workflow

In recent years, along with the development of IT, especially the network communication technology, multi-media technology and database technology, the electronic document circulation of enterprise have been offered more wide developed space. Coming down to some aspects, such as how to handle document information, how to manage and organize the information with writing character as major content, especially how to control the dynamic transmission of these information, the technology of workflow will be appliedThis text, at first, introduces workflow technique' research background and both domestic and international present research condition, then commences from related concept to workflow technique, introduces workflow management system and reference model in detail, and makes a detailed description of a few kinds of modeling method. Because the Petri net is a kind of combination model that can be represented by sketch, having advantages like perceptual intuition, easily understanding and using and so on, it has its own benefits of description and analysis. In the meantime, the Petri net is the mathematical object which is defined strictly. The Petri net's analysis method and technique can be used for both static structure analysis and dynamic behavior analysis as it is based on mathematical development. It sets up mold vividly and has strong system function analytical skill, and consequently the Petri net becomes an ideal tool of workflow process modeling.On the base of detailed understanding of Petri net's basic theories and analytical method, this text, according to actual applied need, combines with document circulation real example, constructs a basic workflow net using "process discover" arithmetic appointed by the offshore scholar. By considering the actual circumstance in a wide range, it is joined by circulating path, solves "short circulating path" problem that is not be able to resolve in the "process discover" arithmetic. Then using the improved Coverability Tree arithmetic to carry on soundness verification to the established model,...