Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System-Reference-Cited by-同舟云学术

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

Published:2001 Issue: Volume: Page:123-132
ISSN:0302-9743
Container-title:Formal Approaches to Agent-Based Systems
language:
Short-container-title:

Author:

Bakam Innocent,Kordon Fabrice,Le Page Christophe,Bousquet François

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45484-5_10

Reference13 articles.

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 Systémes Multi-Agents Génétiques Pour L’étude de la Mobilité Pastorale En Zone Intertropicale Sèhe. Actes du colloque SMAGET, 1998.

3. 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.

4. 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.

5. 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.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Largely Unsupervised Domain-Independent Qualitative Data Extraction Approach for Empirical Agent-Based Model Development;Algorithms;2023-07-14

2. A Maude-Based Tool for Simulating DIMA Model;Lecture Notes in Electrical Engineering;2009

3. Specifying DIMA Multi-agents Models Using Maude;Intelligent Agents and Multi-Agent Systems;2005

4. Multi-agent simulations and ecosystem management: a review;Ecological Modelling;2004-09

5. Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B;Interactive Systems. Design, Specification, and Verification