Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2000

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

Innocent Bakam
  • Fonction : Auteur
Fabrice Kordon
Christophe Le Page
François Bousquet

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.
Fichier principal
Vignette du fichier
lip6.2000.017.pdf (204.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02548319 , version 1 (20-04-2020)

Identifiants

  • HAL Id : hal-02548319 , version 1

Citer

Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet. Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System. [Research Report] lip6.2000.017, LIP6. 2000. ⟨hal-02548319⟩
20 Consultations
46 Téléchargements

Partager

Gmail Facebook X LinkedIn More