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
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barreteau O., Bousquet F.: SHADOC: A Multi-Agent Model to Tackle Viability of Irrigated Systems. Annals of Operations Research, 1998.
Bah A., Canal R., Aquino (D’) P. Bousquet F.: Les Systémes Multi-Agents Génétiques Pour L’étude de la Mobilité Pastorale En Zone Intertropicale Sèhe. Actes du colloque SMAGET, 1998.
Rouchier J., Requier D. M.: Un Travail Interdiscipliniare: Élaboration D’un Modéle de la Transhumace Á Léxtrême Nord Du Cameroun. Actes du colloque SMAGET, 1998.
El Fallah S.: Représentation et Manipulation de Plans Á L’aide Des Réseaux de Petri. Actes des 2émes Journées Francophones IAD-SMA, Mai 1994.
Magnin L., Ferber J.: Conception de Systémes Multi-Agents Par Composants Modulaires et Réseaux de Petri. Actes des Journées du PRC-IA, pp 129–140, 1993.
Gronewold Anja, Michael Sonnenschein: Event-Based Modelling of Ecological Systems with Asynchronous Cellular Automata. Ecological Modelling, 108:37–52, 1998.
Dubost G.: L’écologie et la Vie Sociale Du Céphalophe Bleu (Cephalophus Monticola Thunberg), Petit Ruminant Forestier Africain. Journal of Comparative Ethology, 1980.
Ferber J.: Multiagent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley 1999.
Bousquet F., Le Page C., Bakam I, Takforyan A.: A Spatially Explicit Individual Based Model of Blue Duikers Population Dynamics: Multiagent Simulations of Bushmeat Hunting in an Eastern Cameroonian Village. Accepted in Ecological Modelling, 1999.
Kordon F., Paviot-Adet E.: Using CPN-AMI to Validate a Safe Channel Protocol. The toolset Proceedings of the International Conference on Theory and Applications of Petri nets, Williamsburg, USA June 21–25 1999.
Bousquet F., Bakam I., Proton H., Le Page C.: Cormas: Common-Pool Resources and Multi-Agents Systems. Lectures Notes of Artificial Intelligence 1416, 2:826–837, 1998.
Jensen K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Pratical Use. Springer, 1997.
Singh Munidar, Anand S. Rao, Michael P. Georgeff: Formal Methods in DAI: Logic Based Representation and Reasoning. Multiagent Systems: A Modern Approach To Distributed Artificial Intelligence, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bakam, I., Kordon, F., Le Page, C., Bousquet, F. (2001). Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System. In: Rash, J.L., Truszkowski, W., Hinchey, M.G., Rouff, C.A., Gordon, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2000. Lecture Notes in Computer Science(), vol 1871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45484-5_10
Download citation
DOI: https://doi.org/10.1007/3-540-45484-5_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42716-2
Online ISBN: 978-3-540-45484-7
eBook Packages: Springer Book Archive