工作流管理系统的最重要功能之一就是工作流建模。一个好的工作流模型是实现一个具有高度灵活性、可靠性、可用性、可伸缩性和互操作性的工作流管理系统的关键和基础。工作流建模主要是研究如何清晰、准确地表示实际应用中的业务过程，特别是研究如何以形式化的方法表示工作流模型。 一个工作流系统成功的关键在于向其输入的工作流的质量。因此，工作流的建模和分析就显得特别重要。 面向对象Petri网是目前工作流研究的热点之一，其目的是利用面向对象技术提供的抽象的封装、分类以及继承机制，简化复杂系统的建模。 单一的建模技术因其自身特点和局限性，无法很好地完成从系统建模、分析到验证的全部任务。改进和扩展单一的建模技术，将面向对象建模技术与Petri网建模技术结合在一起，综合两种建模技术的优势，克服彼此存在的主要缺陷，走复合建模技术的道路是解决大规模复杂系统建模问题的主要途径。在建模过程中利用面向对象的概念对系统进行功能划分，将复杂系统的建模分解成若干子系统的建模，从而使得Petri网建模技术既适用于大型系统的建模，又有效的解决了状态空间“爆炸”的问题。 本文提出的有色对象Petri网模型COPN，用子网来描述对象，对象之间的通信用门变迁来实现。论文给出COPN的形式化定义之后，对一个系统进行了COPN建模，并且基于分层思想采用可达树方法对模型予以验证，最后，根据前面的分析，设计了一个名为COPN-Flow的工作流建模工具。