为了适应市场竞争环境,企业需要对业务过程进行重组,规范企业的经营管理,以达到降低生产成本、提高生产效率的目的。企业如何开发符合不同客户需求、具有事务处理能力、能够适应各种变化环境的工作流,已经成为工作流技术研究的一个热点。目前有各种工作流建模模型,通过对这些模型进行比较,本文采用Petri网来对流程建模。Petri网具有较强的数学理论基础,能够直观地描述业务流程。本文改进了一种模型验证算法来验证用Petri网建模的合理性和正确性。传统的工作流在模型建立阶段,对业务过程进行建模,确定与业务过程相关的任务、任务之间的流转关系以及相关的数据；流程的执行阶段,在任务执行者的参与下流程按照预先定义的流转方向进行流转。但现实情况变化复杂,无法在模型建立阶段就确定所有的情况,因此需要开发出能够适应变化环境的动态工作流管理系统。本文分析了工作流的动态性,并实现了资源的动态修改和工作流过程模型的动态修改,讨论了过程模型修改时实例迁移策略、实现了模型实例的迁移。目前人们考虑的事务主要是针对数据库的事务处理,而很少考虑工作流管理系统中的事务处理,流程节点在执行过程中出现一些不可预测异常时不能保证数据的一致性及原子性,因此研究工作流的事务处理具有较好的实际应用价值。本文首先介绍了数据库事务处理的实现方法,然后对工作流事务模型进行了分析,将工作流事务模型和传统事务模型、高级事务模型进行研究和对比。在高级事务模型的基础上,本文实现了工作流的事务处理,提出了一种自底向上的失效恢复算法,减少了一些不必要重复的工作,提高了系统运行效率,同时事务恢复处理用后台代码来实现,因此工作流的事务处理对用户来说是透明的,减少了用户使用难度。本文以某中小型企业OA系统实际项目为研究背景,将基于Petri网的动态工作流应用于实践。介绍系统中与工作流相关表的设计、各个模块的功能,详细介绍工作流管理模块的实现方法。本系统应用于该企业中取得了一定的效果。