工作流模型时间有界性验证与分析研究.PDFVIP

李建强，范玉顺，《计算机集成制造系统CIMS》，Vol.8，No .10 ，2002 ，pp.770-775 工作流模型时间有界性验证与分析研究 李建强 范玉顺 清华大学自动化系 100084 摘要：在对工作流模型分析进行了层次上的划分后，提出了工作流模型时间有界性的问题。 在完成从工作流管理联盟 （WfMC ）给出的工作流图形化模型向工作流网(WF-net) 的模型映 射之后，利用绝大多数描述业务过程的工作流模型都具有自由选择特性的特点，提出了一种 将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法。在此基础上，结合工作 流模型的资源视图，详细阐述了一种基于Petri 网理论的工作流模型时间有界性分析与验证 方法。 关键词：工作流模型分析，时间有界性，工作流网，模型分解 中图分类号：TP391.73 一、引言 工作流管理是实现企业过程集成，进而提高企业运行效率和柔性的一种全面的支撑技术 [1] 。从办公自动化 （OA ）、计算机支持的协同工作 （CSCW ）、经营过程重组 （BPR ）和人工 智能（AI ）等几个领域进行的工作流技术的研究，都将工作流模型的合理性验证