工作流模型是业务过程的计算机化的表示。工作流管理系统中一个重要的课题就是要为待描述的过程定义提供一种通用过程描述、表现能力强和便于形式化验证的工作流过程模型。一个好的工作流过程模型应该是一个具有高度的灵活性、可靠性、可用性、可伸缩性和互操作性的工作流管理系统的关键和基础。 尽管工作流技术的研究日益受到人们的重视，并在工作流领域取得了众多的研究成果，但是目前对工作流模型方面的研究仍旧比较少，对模型的分析更少。各种模型缺乏系统性，比较混乱，不同厂商、不同工作流系统的模型之间差异很大。另一方面，目前仍旧缺乏一种能够支持过程定义、过程演进以及过程分析的形式化数学模型。因此对工作流模型进行分类、比较、分析，寻找模型本质的东西，为完善过程定义、改进工作流程、进一步提高企业的工作效率、降低成本等提供了坚实的理论依据。 本人的主要工作集中在以下几个方面： 第一：对工作流技术的相关概念、工作流参考模型、国内外工作流模型的研究现状和研究内容进行了介绍。 第二：在对典型的工作流模型进行比较基础上，给出了模型分类标准。将信牌驱动模型与WPDL、WIDE进行比较，将驱动模型与工作流模式进行比较。 第三：提出了一种工作流模型基本集。详细的研究了模型的静态结构、典型流程。并且对工作流模型进行形式化的定义。 第四：实现了信牌驱动模型向Petri网的转化。利用Petri网这种形式化的工具对扩展的信牌驱动模型中的死锁、可达性进行了研究，并给出了相应的判断算法。 第五：开发出模型分析工具。它利用扩展的信牌驱动模型为某个业务流程方便、友好地建立过程定义，并能对其中的一部分性质和错误进行验证。该工具严格按照面向对象的软件工程原理进行分析、设计；并充分利用pattern的设计思想，设计了广个体系结构良好、人机界面友好的工作流模型分析工具。