中文摘要：

基于工作流的Petri网结构化建模方法，证明了工作流网的P-不变量存在性、可覆盖性，给出了一个工作流模型可靠性（soundness）的充要条件，得到了基于P-不变量的多项式分解算法，克服了非多项式算法遍历的不足，降低了时间和空间复杂度，基于工作流网的定义，给出了包含时间等信息的广义工作流网的概念，在结构分解的基础上，利用矩姆函数，建立了工作流的时间性能分析方法，所得结果为工作流模型分析和验证提供了理论基础和依据，并可有效降低工作流系统的分析复杂度，对于分析工作流系统处理业务实例的能力，提高业务处理效率有重要意义，给出的实例验证了算法的有效性．

英文摘要：

A new necessary and sufficient condition for the soundness of workflow model is presented based on the Petri Nets modeling techniques in this paper. Some properties, such as the existence of P-invariant and the cover sets of the WF-net places are analyzed and verified. A polynomial algorithm of workflow model decomposition based on P-invariant is presented, and then the Generalized WF-net（GWF-net） is defined. A new time performance analysis method to GWF- net is set up that the decomposition algorithm and moment generation function unite. Compared with other exponential algorithms, the method can get over the shortage of the search method and reduce consumedly decomposition complexity of the workflow net, and the algorithms has the advantage that its form is simple, understandable easily and the operation is easy very much. The results provide a new method for workflow system analysis and verification, and can also effectively reduce the analyzing complexity of the workflow systems, and it is important to analyze the ability to deal with the business process of workflow system, and improve the efficiency for workflow system to deal with the business process. The usability of the research results in this paper is illustrated by an example.