工作流技术是目前计算机应用领域的研究热点，在项目管理、制造领域以及业务流程重组中有着广泛的应用。工作流就是工作流程的计算模型，即将工作流程中的工作如何前后组织在一起的逻辑和规则在计算机中以恰当的模型进行表示并对其实施计算。 工作流模型应该完整、正确的反映工作流程，并支持模型验证和性能评价，使相关人员能够基于模型对工作流系统结构和流程的正确性和主要性能指标有初步了解，并根据分析结果在具体实施前进行系统的调整和改造，保证工作流系统成功运行。性能评价的方法主要有模型分析和仿真两种。目前，对工作流系统研究主要集中在对具体应用的建模以及建模仿真工具的研究方面，对性能评价的研究相对比较少。 本文以典型的工作流系统——产品开发制造系统的工作流程作为参照实例，利用着色Petri网进行建模，并对模型验证与性能评价进行了系统的研究，针对模型分析方法提出了建立在结构约简基础上的模型验证与性能分析方法。首先对结构约简方式进行改进，在简化结构的同时保留模型原有的表达能力，使原本复杂的验证与分析过程变得相对简单可行。并通过变迁的时间参数绑定，将广义随机Petri网的有关评价方法引入着色工作流网，利用马尔可夫链对相关性能指标进行评价与定量分析，得出优化配置方案。 在对基于着色Petri网建立的产品开发制造系统工作流模型进行仿真分析时，实现了流程正确性和系统瓶颈的检测，并根据仿真结果提出产品开发制造流程的改进和优化措施。