工作流建模主要研究如何清晰、准确地表示实际应用中的业务过程。一个好的建模方法是建立工作流模型的关键,目前基于活动、事务和语言等常用的建模方法普遍存在同一个问题:建模过程中不能验证工作流模型的正确性。基于这点不足,本文采用了基于状态的建模方法:着色Petri网。本文首先介绍了工作流的相关概念及工作流参考模型,并对常用的四种工作流建模方法进行对比分析后采用了支持业务过程验证的着色Petri网这种建模方法;接着对着色Petri网的相关理论和用来产生、模拟和分析模型的成熟工具CPN Tools进行了详细的阐述并从过程和资源两个角度设计了基于着色Petri网的工作流模型。在理论研究基础上,本文以网上购物系统为实例来建模,主要工作包括以下几个方面:一、首先对网上购物系统的业务流程进行了分析,给出了本文利用着色Petri网对其业务流程建模的原则。二、在已建立的建模原则基础上,建立网上购物系统整体模型及选择商品、订单处理、付款方式和售后服务四个子模型;并给出了模型中各库所与变迁的详细说明以及各个子模型的执行过程。三、最后由于订单处理流程是网上购物系统的核心,所以以订单处理流程为例详细阐述了它的建模过程及模型的形式化定义。并利用CPN Tools中的状态空间工具完成对模型的基本特性分析,并在此模型中添加时间戳来建立订单处理的时间CPN模型,利用CPN Tools中的仿真工具对新模型进行仿真分析。