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

The study of migrating workflow based on Petri-net

作　　者：党妍[1] 张蕾[1] 

机构地区：[1]山东大学计算机科学与技术学院,山东济南250061

出　　处：《山东科学》2002年第4期55-60,共6页Shandong Science

摘　　要：利用扩充Petri网对迁移工作流进行抽象描述并建立模型,对Petri网的位置、转移、令牌等要素进行扩充描述,使扩充Petri模型能够体现迁移工作流的迁移特性;还分别对强迁移工作流和弱迁移工作流的广义点火规则进行描述。运用Petri网模型设计出一个迁移工作流实例,用以阐明Petri网模型的建模方法;其中着重说明(1)位置模型与实例中的停靠站和工作域之间的映射关系;(2)如何使工作域内各站点对于停靠站具有位置、功能透明性。Migration workflow is the current orientation of workflow technology which needs to be studied in depthIn this thesis,an abstract modeling method of migration workflow,which involves Petrinet theory,is discussedImproved Place model,Transaction model,Token model which are major elements of the improved Petrinet are described in great detailsBy this means,migrating character of migration workflow can be embodied in this modelBroad sense firerule is provided in case of strong migration and weak migrationThe model of migration workflow instant is designed through this modeling method,so that the modeling method can be comprehended in a clear wayTwo main points are emphasized in the instant(1)the mapping relationship between Place model and Station sever,Working net in the instant;(2)how to make worknode in working net transparent relative to Station

关 键 词：PETRI网 迁移工作 位置模型 停靠站 建模 

分 类 号：TP315[自动化与计算机技术—计算机软件与理论]