Validation du comportement dynamique d'un système multi-agents : Application de l'éco-résolution à une cellule de production manufacturière

In the reactive systems it could be difficult to plan tasks. Reactive multi agent system can solve this kind of problem. To skip planning work, multi agent system allows designers to distribute global system aim into local agent behaviour. Nevertheless it is difficult to get an actual idea of the global system behaviour. In this communication, we propose first a model of dynamic behaviour of an agent, and we shows how designers can deal with a tool of validation of discrete event system to validate a multi agent system. Un example in the filed of control of manufacturing cell of production will be used.