Details

Autor(en) / Beteiligte

• Hiraishi, K.

Titel

A Petri-net-based model for the mathematical analysis of multi-agent systems

Ist Teil von

• Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0, 2000, Vol.4, p.3009-3014 vol.4

Ort / Verlag

IEEE

Erscheinungsjahr

2000

Quelle

IEEE Xplore

Beschreibungen/Notizen

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