目前,工作流技术虽然已经得到了很大的发展,但尚还没有一种工作流产品或原型系统能够在过程执行的可靠性和一致性方面达到与关系数据库管理系统同水平的功能,究其原因主要是相应的工作流模型在理论和实践上存在模拟分析能力不足等问题,在建模复杂性和性能提高上还有很大的空间。针对现存的问题,本文以着色Petri网为建模工具对工作流模型进行了一些研究。工作流建模主要有两大目的:一是对系统进行模拟和分析,二是对系统进行成本和预算分析。在模拟和分析方面现有的模型都存在过程建模与过程执行过度耦合的问题,即在某个组织机构模型上建立的过程必须在同一个组织机构模型上才能执行。造成这种耦合的原因在于,当前的业务过程管理技术和标准没有区分控制逻辑内部的差别。实际上业务过程中的控制逻辑有两种:一种是路由逻辑,另外一类是资源管理逻辑。资源建模正是基于以上目的提出来的。针对工作流中涉及到的资源问题,本文分析了资源的重要属性和分类,重点研究了稀缺资源的分配和管理,提出了资源池的概念,并采用着色Petri网方法建立了工作流资源管理器,实现工作流的资源管理和分配。基于着色Petri网的资源管理器模型为工作流系统进行定性和定量分析提供了一个形式化的基础,同时也为提高工作流过程模型的健壮性提供了一个有效的方法。而相应地在成本和预算分析方面,基于Petri网的这方面的工作流模型研究还处于起步阶段,且众多学者提出的模型也多是基于简单Petri网的,这些模型是工作流建模在成本和预算分析方面的初步的有益探索,但是这些模型摆脱不了Petri网对于复杂的业务流程和具有多案例的网结构的描述能力不足的弱点。基于实际应用中业务流程的复杂性,本文提出扩展了价格信息的着色Petri网,讨论了该模型的变迁规则,并针对状态空间爆炸问题提出了最小成本可达算法。通过模型在业务流程管理中的应用和仿真实验的分析可以看出,将扩展了价格信息的着色Petri网运用于工作流建模是可行的、有效的。