For the most recent entries see the Petri Nets Newsletter.

Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of a Hunting Management System.

Bakam, Innocent; Kordon, Fabrice; Le Page, Christophe; Bousquet, Francois

In: LNAI 1871: Formal Approaches to Agent-Based Systems, pages 1-123. First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 2000. Revised Papers / J.L. Rash, C.A. Rouff, W. Truszkowski, D. Gordon, M.G. Hinchey (Eds.) --- Springer Verlag, 2001.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography