Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System
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
Résumé
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.
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|