基于Petri网的迁移工作流模型研究

摘要

利用扩充Petri网对迁移工作流进行抽象描述并建立模型,对Petri网的位置、转移、令牌等要素进行扩充描述,使扩充Petri模型能够体现迁移工作流的迁移特性;还分别对强迁移工作流和弱迁移工作流的广义点火规则进行描述.运用Petri网模型设计出一个迁移工作流实例,用以阐明Petri网模型的建模方法;其中着重说明(1)位置模型与实例中的停靠站和工作域之间的映射关系;(2)如何使工作域内各站点对于停靠站具有位置、功能透明性.