Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System

I. Bakam, F. Kordon, Ch. Le Page, F. Bousquet

LIP6 2000/017: Rapport de Recherche LIP6 / LIP6 research reports
10 pages - Mai/May 2000 - Document en anglais.

Get it : 151 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Systèmes Répartis et Coopératifs

Titre français : 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
Titre anglais : Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System

Résumé : Cet article présente une expérience de formalisation d'un système multi-agent à partir de réseaux de Petri colorés, appliqués à l'étude de la chasse. Le modèle multi-agent de l'activité de chasse est présenté avec ses résultats de simulation. Nous proposons ensuite quelques hypothèses définies sur pour la modélisation formelle et détaillons les différents modules du réseau de Petri. Nous analysons enfin le modèle et comparons les propriétés que nous en déduisons par rapport aux résultats de la simulation. Nous concluons par une brève discussion sur la pertinence d'une telle approche.

Abstract : 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.

Mots-clés : Réseaux de Petri, Systèmes Multi-Agents, Gestion de l'environnement

Key-words : Petri nets, Multi-agent systems, environment management

Publications internes LIP6 2000 / LIP6 research reports 2000

Responsable Éditorial / Editor :Denis.Poitrenaud@lip6.fr