目前国内外己有很多工作流管理系统的产品，但是它们大部分都不支持在工作流运行的过程中动态地修改业务过程。一旦工作流程确定，系统就一直按照模型规定的业务过程执行。然而，随着企业规模的扩大，市场需求的快速变化，在工作流建模阶段不可能预先定义好所有的业务过程。因此，企业在经营过程中往往需要通过对业务过程的重组来适应市场需求，提高企业竞争力。本文就是重点研究如何在工作流运行的过程中动态地修改工作流模型，并把相关的工作流实例快速地迁移到新模型中运行。 文章先对柔性工作流系统进行了初步的研究，扩展了工作流管理系统体系结构，提出了一种支持动态变更的柔性工作流管理系统。该系统采用Petri网模型进行建模，着重分析了工作流实例迁移过程中所存在的动态变更错误，并结合自由选择网的经典理论，提出了一种基于Petri网模型的工作流实例迁移算法，算法的时间复杂度是多项式级的。 然后，设计了工作流模型正确性验证算法，该算法能有效地验证工作流模型的正确性，并且算法的时间复杂度也是多项式级的。 最后，结合工作流实例迁移算法，实现了一个具有柔性的，支持动态变更的工作流仿真系统。