DocumentCode
1737767
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
Volume
4
fYear
2000
fDate
2000
Firstpage
3009
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location
Nashville, TN
ISSN
1062-922X
Print_ISBN
0-7803-6583-6
Type
conf
DOI
10.1109/ICSMC.2000.884459
Filename
884459
Link To Document