Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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
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.