Affiliations: Yaroslavl State University, Yaroslavl, 150000, Russia. bas@uniyar.ac.ru | Dept. of Software Engineering, Higher School of Economics, Moscow, 105187, Russia. i_lomazova@mail.ru
Note: [] This research is partly supported by Russian Fund for Basic Research (projects 09-01-00277, 11-01-00737) and Federal Program “Kadry” (project 02.740.11.0207)
Note: [] This research is partly supported by Russian Fund for Basic Research (projects 09-01-00277, 11-01-00737) and Federal Program “Kadry” (project 02.740.11.0207) Address for correspondence: Dept. of Software Engineering, Higher School of Economics, Moscow, 105187, Russia
Abstract: A new formalism of Resource Driven Automata Nets (RDA-nets) is presented. A RDA-net has two levels: a system level is represented by a net of active resources, describing distribution of agents/resources and their interactions; agents in an object level are finite automata, communicating via ports and shared resources of a system level. RDA-nets are assigned for modeling mobility in multi-agent systems from the resource dependence perspective. We prove that RDA-nets have the same expressive power as Petri nets and give examples of modeling agent communications, dynamics and mobility.
Keywords: multi-agent systems, Petri nets, automata, communication, mobility
