LIP6 2000/017

• تـقاريـر بحث «Formalisation d'un modèle multiagent spatial à l'aide de réseaux de Petri Colorés afin d'étudier des stratégies de gestion des ressources de chasses»
• I. Bakam, F. Kordon, Ch. Le.Page, F. Bousquet
• 10 pages - 31/05/2000 - document en - http://www.lip6.fr/lip6/reports/2000/lip6.2000.017.ps.gz 155 Ko
• للاتصال Fabrice.Kordon (at) nulllip6.fr
• Ancien Thème : SRC
This paper presents an experience of a multiagent model formalization using coloured Petri nets, applied to the study of an hunting management system. The multiagent model of the hunting activity is presented, with simulation results. Then we describe Petri nets model assumptions and we give details about system modules. We analyze the model and we compare formal properties to multiagent simulation results. Pertinence of the approach is briefly discussed.