Study Of Modeling And Analysis Of Workflow Using Petri Nets

In this dissertation, the technologies of the composition, function and realization etc of the workflow are introduced and analyzed. The structure and liveness of the shared composition petri nets are studied; The relationship between the liveness and the state constancy, the behavior constancy and a decision method of the liveness of the shared composition petri nets are given. The modeling methods of petri nets and properties of workflow are studied and the concept of multi-operation workflow net is put forward. In addition, a sufficient and necessary condition of its soundness is given; Especially, T~ invariant and P- invariant of workflow nets are studied. The technologies of composition and decomposition of workflow are studied and two polynomial algorithms based on T - invariant and P - invariant and the decomposition algorithms based on the deep preferential search and process nets are given; The definitions of resource workflow nets and shared composition workflow nets are brought forward; A sufficient and necessary condition of the shared composition workflow nets keeping the soundness is given; The applications of the technology of workflow in the exploitation of management system are discussed, and the model of workflow nets of process components is made.