Title :
A Petri-net-based model for the mathematical analysis of multi-agent systems
Author :
Hiraishi, Kunihiko
Author_Institution :
Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
Abstract :
Agent technology is widely recognized as a new paradigm for the design of concurrent software and systems. The aim of this paper is to give a mathematical foundation for the design and the analysis of multi-agent systems by means of a Petri-net-based model. The proposed model is based on place/transition nets, one of the simplest classes of Petri nets. The main difference is that each token, representing an agent, is also a place/transition net. It is sufficiently simple for the mathematical analysis, but has enough modeling power
Keywords :
Petri nets; concurrency theory; multi-agent systems; parallel programming; Petri-net-based model; agent technology; concurrent software; mathematical analysis; multi-agent systems; place/transition nets; token; Autonomous agents; Earth Observing System; Mathematical analysis; Mathematical model; Multiagent systems; Object oriented modeling; Petri nets; Power system modeling; Software design; Turing machines;
Conference_Titel :
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location :
Nashville, TN
Print_ISBN :
0-7803-6583-6
DOI :
10.1109/ICSMC.2000.884459
