基于Petri网的合同网任务动态分配模型

摘要：

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明.

关键词：Petri网、多主体系统、协作、任务动态分配、合同网

所属期刊栏目：32

分类号：TP302.2(计算技术、计算机技术)

资助基金：安徽省高等学校青年教师科研资助计划项目2007jq1039;安徽理工大学青年科学研究基金QN200723;安徽理工大学硕士博士基金资助项目2006yb51

在线出版日期：2009-07-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：791-795