文件名称:基于Petri网的迁移工作流模型研究 (2002年)
文件大小:90KB
文件格式:PDF
更新时间:2024-07-03 08:30:18
自然科学 论文
利用扩充Petri网对迁移工作流进行抽象描述并建立模型,对Petri网的位置、转移、令牌等要素进行扩充描述,使扩充Petri模型能够体现迁移工作流的迁移特性;还分别对强迁移工作流和弱迁移工作流的广义点火规则进行描述。运用Petri网模型设计出一个迁移工作流实例,用以阐明Petri网模型的建模方法;其中着重说明(1)位置模型与实例中的停靠站和工作域之间的映射关系;(2)如何使工作域内各站点对于停靠站具有位置、功能透明性。