基于着色Petri网的协调策略建模研究

Modeling of Coordination Policy Based on Coloured Petri Nets

提出了一种基于着色Petri网 (CPN)的协调策略描述方法 ,在介绍CPN基本构成的基础上 ,对计算机支持的多层次多群体协同工作系统 (CSMMCW )中的协调策略进行了建模 .利用CPN ,对组间和组内协同工作 ,通过建立任务执行工作流和CPN之间的映射关系来准确地描述各种协调策略 .文章举例具体说明了如何建立组内协调策略的CPN模型 ,并对该模型进行了仿真 .仿真结果表明 ,该模型能够有效地描述在协作过程中的动态行为 ,利于分析和验证 ,并且易于实现 .

A method to describe coordination policy is presented, which is based on the coloured Petri net (CPN). A coordination policy model of the multi-level and multi-group computer supported cooperative system (CSMMCW) is created by using CPN. Through the map between the executed workflow of tasks and CPN, various coordination policies can be perfectly described by cross-group and inner-group cooperative work in the system. An example is used to illustrate the model of coordination policy within a group, and the model is simulated and verified. The results show that the model of coordination policy based on CPN can describe the dynamic behavior of cooperative work very well, and can be analyzed, verified, and easily implemented.