Formalization of a spatialized multiagent model using coloured Petri nets for the study of an hunting management system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1871, Issue , 2001, Pages 123-132

  Bakam, Innocent ^a   Kordon, Fabrice ^b   Le Page, Christophe ^c   Bousquet, François ^c  

^a UNIVERSITY OF DOUALA   (Cameroon)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^c CIRAD   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS;

COLOURED PETRI NETS; FORMAL PROPERTIES; HUNTING MANAGEMENT; MULTI AGENT SIMULATION; MULTI-AGENT MODEL; PETRI-NETS MODELING; SYSTEM MODULES;

PETRI NETS;

EID: 23044530845     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45484-5_10     Document Type: Conference Paper

References (13)

1. Barreteau O., Bousquet F.: SHADOC: A Multi-Agent Model to Tackle Viability of Irrigated Systems. Annals of Operations Research, 1998.
2. Bah A., Canal R., Aquino D P., Bousquet F.: Les Systemes Multi-Agents Génétiques Pour L’étude de la Mobilité Pastorale En Zone Intertropicale Sèche. Actes du colloque SMAGET, 1998.
3. Rouchier J., Requier D. M.: Un Travail Interdiscipliniare: Elaboration D’un Mod`ele de la Transhumace A L’extreme Nord Du Cameroun. Actes du colloque SMAGET, 1998.
4. El Fallah S.: Representation et Manipulation de Plans A L’aide Des Reseaux de Petri. Actes des 2emes Journees Francophones IAD-SMA, Mai 1994.
5. Magnin L., Ferber J.: Conception de Systemes Multi-Agents Par Composants Modulaires et Reseaux de Petri. Actes des Journees du PRC-IA, pp 129–140, 1993.
6. Gronewold Anja, Michael Sonnenschein: Event-Based Modelling of Ecological Systems with Asynchronous Cellular Automata. Ecological Modelling, 108:37–52, 1998.
7. Dubost G.: L’ecologie et la Vie Sociale Du Cephalophe Bleu (Cephalophus Monticola Thunberg), Petit Ruminant Forestier Africain. Journal of Comparative Ethology, 1980.
8. Ferber J.: Multiagent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley 1999.
9. 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.
10. 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.
11. 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.
12. Jensen K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Pratical Use. Springer, 1997.
13. 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.