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

Authors:
Innocent Bakam;Fabrice Kordon;Christophe Le Page;François Bousquet
Affiliations:
-;-;-;-
Venue:
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Year:
2000

Citing 4
Cited 3

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Formal methods in DAI: logic-based representation and reasoning

Multiagent systems
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence

Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Cormas: Common-Pool Resources and Multi-agent Systems

IEA/AIE '98 Proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial In telligence and Expert Systems: Tasks and Methods in Applied Artificial Intelligence

Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B

Interactive Systems. Design, Specification, and Verification
Specifying DIMA multi-agents models using maude

PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Multi-agent simulation of business processes: a theoretical model to manage and report carbon footprint in an emergent organisation

International Journal of Business Information Systems

Quantified Score

Hi-index	0.00

Visualization

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