Application of Refined Calculation Based on Petri-net with Preservation Property in of Multi-agents Cooperation
Huan Fang · Journal of Anhui University of Science and Technology · 2009
In order to resolve construction complexity of multi-agents system,big system composed by several small systems was propose.Properties of the big system was analyzed by analysis of small systems properties.By reference model of dynamic tasks allocation of contact protocol network,macroscopical model of dynamic task allocation and microscopic model of agent inner BDI architecture were constructed by gradually refinement.studies the cooperation relationships between agents and inner mental changes of each agent.Furthermore,the boundedness,deadlock-free properties of the system were analyzed,which present autonomous and initiative characteristics of agents.