A Fuzzy Timed Object-Oriented Petri Net for Multi-Agent Systems
ISNN '08 Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II
Modeling Multi-Agent Systems as Labeled Transitions Systems: A Unifying Approach
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Hi-index | 0.00 |
Most of time, an agent theory is expressed by modal logic which is a good specification tool since it eases the description of intentional agents. However, this formalism cannot be easily refined into implementation even if some counter-examples exist. This paper proposes another type of formalism called cooperative objects which are based on Petri nets and objects. We show how it may be used with benefits to model multi-agent systems. More precisely, we argue that the presented formalism can bridge the gap between the world of formal theory and the world of system development. We illustrate our study with the well known Prey/Predators game.