Migrating workflow system model based on synchronizer
一个基于同步器扩充的迁移工作流系统模型

Owing to dynamic process definition and complicated framework, thus migrating workflow system lacks of a clear definition on the model. A migrating workflow system model based on Petri net was established through the analysis of the elements. The model acted the synchronous machine as the places, and the concept and location of resources & service capabilities were expanded to be adapted to the transition enabled rules in the migrating environment. And the task sets embodied in the migrating environment can be reflected dynamically. At last, the entire operation relocation process of migrating workflow system was simulated well.