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

【Abstract】 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更多还原