Resource Driven Automata Nets

Authors:
Vladimir A. Bashkin;Irina A. Lomazova
Affiliations:
(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)) Yaroslavl State Universi ...;(Correspd.) (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)) Dept. of Sof ...
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Year:
2011

Citing 6
Cited 1

Nested petri nets - a formalism for specification and verification of multi-agent distributed systems

Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Properties of Super-Dual Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Hornets: Nets within Nets Combined with Net Algebra

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
On the Expressiveness of Communication Channels for Object Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Modeling symport/antiport P systems with a class of hierarchical Petri nets

WMC'07 Proceedings of the 8th international conference on Membrane computing
Nested Petri nets for adaptive process modeling

Pillars of computer science

Cellular Resource-Driven Automata

Fundamenta Informaticae - Concurrency Specification and Programming CS&P

Quantified Score

Hi-index	0.00

Visualization

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.