作为实现业务过程建模、仿真分析、优化管理与集成的核心技术，工作流目前已被广泛运用于项目管理、办公自动化以及业务流程重组等领域。建立工作流模型是实现工作流技术的关键环节，模型质量的优劣直接关系到后续工作流管理系统的性能和效率高低。目前，大多数的工作流建模技术，对于复杂信息系统的建模能力不足，缺乏行之有效的模型结构合理性和性能分析手段。　　本文在分析研究现有工作流建模方法的基础上，基于着色时间Petri网建立某单位公文处理工作流模型，并分析该模型的结构合理性和时间性能，最后基于该模型设计并实现公文处理系统。全文主要工作是：　　1、利用经典Petri网在工作流建模方面的巨大优势，将其进行颜色和时间扩展，研究基于着色时间Petri网的工作流建模技术。分析某单位公文处理的实际流程，并运用着色时间Petri网建立其工作流模型。　　2、针对可达树方法在分析复杂工作流模型结构合理性方面的不足，提出了基于工作流网可替换性的结构合理性验证法。通过合理且安全的构造块，分步构造模型，最终完成对公文处理工作流模型的合理性验证。　　3、研究基于着色时间Petri网工作流模型的时间性能分析方法。根据变迁时延，推理得出着色时间工作流网四种基本组件的时间等效变换规则，利用这些规则计算出公文处理工作流模型的时间性能，确保模型的时间性能满足实际要求。　　4、基于上述研究结论，根据某单位办公的实际，分析公文处理系统的功能需求，设计了系统的总体框架结构，并对关键模块进行了详细设计。最后运用工作流开发框架WF，结合EXT技术，搭建系统开发和测试环境，实现并测试公文处理系统。