通过对当前工作流模型的研究现状的总结分析,发现针对工作流中的数据信息的建模,方法还存在局限性.因此,为了建立一种可以合理的同时描述工作流中的过程信息和数据信息的模型,在过程定义方面,采用Petri网建模方法,建立工作流过程模型;在数据信息方面,采用面向对象方法,建立分级多粒度的数据模型.通过结合过程模型和数据对象模型,提出一种扩展数据对象工作流Petri网模型.由于模型中扩充了数据信息,所以模型除了具有结构特性、行为特性外,还具有存在性、可用性和操作匹配性等数据特性.根据出现图、覆盖图等图形分析法、关联矩阵等线性代数法和针对原子数据对象的模型化简法,对模型的各种特性可以进行形式化验证和分析.模型具有形象的描述数据对象和数据操作、保持与传统分析方法的兼容、更好Petri网仿真效果和模型修改的灵活性等特点.可以有效的描述和分析工作流中的过程信息、数据信息及二者之间的依赖关系,为工作流模型的分析验证提供了一种有力的工具.