Formalization of a spatialised multiagent model using Coloured Petri nets for the study of an hunting management system

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 briefy discussed.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01573109
Contributor : Lip6 Publications <>
Submitted on : Tuesday, August 8, 2017 - 3:36:18 PM
Last modification on : Thursday, March 21, 2019 - 1:09:42 PM

Links full text

Identifiers

Citation

Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet. Formalization of a spatialised multiagent model using Coloured Petri nets for the study of an hunting management system. Formal Approaches to Agent-Based Systems, Apr 2000, Greenbelt, MD, United States. pp.123-132, ⟨10.1007/3-540-45484-5_10⟩. ⟨hal-01573109⟩

Share

Metrics

Record views

32