Soundness analysis of compositional model of time-based petri nets |
| |
Authors: | Hong Zheng Yue Jiang |
| |
Affiliation: | ZHENG Hong1,JIANG Yue2 1.School of Imformation Science and Engineering,East China University of Science and Technology,Shanghai 200237,China,2.Training Center,Jiangxi Electric Power Company,Nanchang 330077,Jiangxi |
| |
Abstract: | 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. |
| |
Keywords: | verification soundness Time Petri nets |
本文献已被 CNKI SpringerLink 等数据库收录! |
|