| 基于Petri网的迁移工作流模型研究 |
| |
| 引用本文： | 党妍,张蕾.基于Petri网的迁移工作流模型研究[J].山东科学,2002,15(4):55-60. |
| |
| 作者姓名： | 党妍 张蕾 |
| |
| 作者单位： | 山东大学计算机科学与技术学院,山东,济南,250061 |
| |
| 摘 要： | 利用扩充Petri网对迁移工作流进行抽象描述并建立模型，对Petri网的位置、转移、令牌等要素进行扩充描述，使扩充Petri模型能够体现迁移工作流的迁移特性；还分别对照迁移工作流和弱迁移工作流的广义点火规则进行描述。运用Petri网模型设计出一个迁移工作流实例，用以阐明Petri网模型的建模方法。其中着重说明（1）位置模型与实例中的停靠站和工作域之间的映射关系；（2）如何使工作域内各站点对于停靠站具有位置、功能透明性。
|
| 关 键 词： | Petri网 迁移工作 位置模型 停靠站 建模 |
| 文章编号： | 1002-4026(2002)04-0055-06 |
| 修稿时间： | 2002年8月15日 |
The study of migrating workflow based on Petri-net |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
