迁移工作流系统是近年来工作流管理研究的热点。由于迁移工作流模型的建立和完善贯穿在整个工作流系统从设计到运行结束的全过程，具有动态过程定义和复杂的框架结构，致使其至今缺乏明确的模型定义。而当前的工作流模型都不具备动态可变和灵活的工作流运行模式，因此，迁移工作流管理系统建模成为当前工作流研究工作的难点之一。 本文基于停靠站服务器的迁移工作流管理系统框架下，对迁移工作流系统建模各要素进行分析，明确迁移工作流模型中的变迁及其外延，对迁移工作流中的变迁进行了定义；在同步器的基础上，对原有工作流模型的外延扩充了位置概念和资源与服务能力，将迁移域的位置集在迁移引擎控制网中充分体现，以便能够较好地描述迁移工作流系统中发生的各项活动；将变迁点火分为任务变迁点火和迁移变迁点火，对变迁点火规则进行了定义。 针对迁移工作流系统模型复杂的体系结构，本文提出任务模型、迁移实例模型、停靠站服务器模型和迁移工作流引擎控制模型的概念，构建了一个基于Petri网的层次迁移工作流系统模型。在任务网模型中，提出任务片的概念，动态地将迁移工作流系统中的任务集在迁移环境中体现。迁移引擎控制网是整个系统的核心，直接管理并运行位置、资源服务网和迁移实例网，迁移实例迁入到工作位置后在停靠站服务器服务引擎提供的资源服务和工作流服务支持下执行工作流任务。在建模过程中，业务过程中的任务被映射成为携带任务说明书和工作位置列表的迁移实例变迁，停靠站服务器模型与迁移引擎控制模型中的任务和迁移实例作为有色令牌来看待，这样就把迁移引擎控制模型看做连接任务网模型、迁移实例模型和停靠站服务器模型的外部接口，同时停靠站服务器模型分别与迁移实例模型和迁移控制引擎模型相连，从而使迁移工作流网中的原紧耦合的流关系进行了转化。与传统的工作流模型相比，该模型具有适应迁移工作流动态建模所需的较大柔性，能够充分体现迁移计算理论的迁移方式。 最后，本文对迁移工作流系统运行进行了形式化定义，分析模拟了整个建模过程，并利用该模型对电子商务中常见的网上寻价购书系统实例建模进行了验证。