Soundness analysis of compositional model of time-based petri nets

Workflow management systems are widely used in improving the efficiency of business processes. To develop a workflow management system is the key to workflow modeling. In this paper, the compositional time net is presented to model workflow processes on the basis of the analyzing methods of time Petri nets and workflows, and to describe the static relationships and the dynamic semantics of the task of multiple workflow composition. The paper puts more emphasis on checking the soundness of composed workflow, at the same time, combinational problems of non-conditional structure of the compositional time net are introduced and analyzed. A sufficient and necessary condition for determining the soundness of compositional nets is obtained.