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