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