Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов

Abstract

Розглянуто проблему моделювання мультиагентних систем з нескінченною множиною станiв. Дослiджено формалiзми, що ґрунтуються на узагальненнi мереж активних ресурсiв. Визначено новi способи моделювання: параметризованi АР-мережi, дворiвневi АР-схеми та дворiвневi АР-мережi. Показано, що цi формалiзми мають зручний синтаксис для моделювання мультиагентних систем, а також систем зi складною модульною або iєрархiчною структурою. Доведено, що параметризованi АР-мережi та дворiвневi АР-схеми еквiвалентнi мережам Петрi, дворiвневi АР-системи еквiвалентнi вкладеним мережам Петрi.The problem of modeling infinite-state multiagent systems is considered. Formalisms based on the generalization of nets of active resources are studied. New modeling techniques are defined: parameterized AR-nets, two-level AR-schemes, and two-level AR-nets. It is shown that the syntax of these formalisms is convenient for modeling multiagent systems such as systems with complex modular or hierarchical structure. It is proved that parameterized AR-nets and two-level AR-schemes are equivalent to Petri nets, while two-level AR-systems are equivalent to nested Petri nets.