×

Formalization of a spatialized multiagent model using coloured Petri nets for the study of an hunting management system. (English) Zbl 0988.68767

Rash, James L. (ed.) et al., Formal approaches to agent-based systems. 1st international workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 1871, 123-132 (2001).
Summary: 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.
For the entire collection see [Zbl 0978.00039].

MSC:

68U99 Computing methodologies and applications
68T99 Artificial intelligence
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
PDFBibTeX XMLCite