| 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. |
