摘要
文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明。
According to the task allocation ideas of protocol nets, the set of multiple agents is divided into two kinds: the administrator agent the and worker agent. The cooperation among multiple agents and related message interaction are depicted by using Petri nets. And the dynamic task allocation model is established, which consists of two kinds of bidding models:the fixed worker agents model and the variable worker agents model. With these models, all kinds of situations of dynamic task allocation can be described. The properties of the dynamic task allocation Petri net system are analyzed, and the properties of its boundedness and valid terminating as well as its deadlock-free property are formally proved.
出处
《合肥工业大学学报(自然科学版)》
CAS
CSCD
北大核心
2009年第6期791-795,共5页
Journal of Hefei University of Technology:Natural Science
基金
安徽省高等学校青年教师科研资助计划项目(2007jq1039)
安徽理工大学青年科学研究基金(QN200723)
安徽理工大学硕士博士基金资助项目(2006yb51)