Colored petri net based multi-agents dynamic task allocation modeling and analysis

Task dynamic allocation is the key in the Multi-agents System´s realization, an important problem is how to simulate the task allocation process dynamically and visually. Based on contractor Network Protocol and Colored Petri Nets, a task dynamic allocation model among multiple agents is constructed, by simulating the model on software platform, the related conclusions concerning boundness, deadlock-free, and liveness are obtained. Then, the model of task dynamic allocation is proved correct and reasonable. This formal and visual simulating method and model evaluating method have not been realized by other validating methods by far.