Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
A new formalism of Resource Driven Automata Nets (RDA-nets) is presented. A RDAnet 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.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
223--236
Opis fizyczny
Bibliogr. 10 poz., wykr.
Twórcy
autor
autor
- Dept. of Software Engineering, Higher School of Economics Moscow, 105187, Russia, i lomazova@mail.ru
Bibliografia
- [1] V.A. Bashkin. Nets of active resources for distributed systems modeling Joint Bulletin of NCC&IIS, Comp. Science. Novosibirsk. 2008. V.28. P.43-54.
- [2] L. Bernardinello, N. Bonzanni, M. Mascheroni, and L. Pomello. Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. Membrane Computing, LNCS 4860, 2007. P.124-137.
- [3] M. Köhler, H. Rölke. Properties of Super-Dual Nets. Fundamenta Informaticae, 72(1-3), 2006. P. 245-254.
- [4] M. Köhler-Bußmeier. Hornets: Nets within Nets combined with Net Algebra. International Conference on Application and Theory of Petri Nets (ICATPN'2009), LNCS 5606, 2009. P.243-262.
- [5] M. Köhler-Bußmeier, and F. Heitmann. On the Expressiveness of Communication Channels for Object Nets. Fundamenta Informaticae, Vol.93, 2009. P.205-219.
- [6] K. Lautenbach. Duality of Marked Place/Transition Nets. Universitat Koblenz-Landau, Institut fur Informatik, Research Report 18, 2003.
- [7] I.A. Lomazova. Nested Petri nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundamenta Informaticae. 2000. V.43. P.195-214.
- [8] I.A. Lomazova. Nested Petri nets for adaptive process modeling. Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, LNCS 4800,2008. P.413-426.
- [9] W. Pawlowski. Petri Hypernets with Constraints. Proc. of CS&P'2009. P.467-479.
- [10] R. Valk. Object Petri nets: Using the nets-within-nets paradigm. Advanced Course on Petri Nets 2003, LNCS 3098, 2003. P.819-848.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS8-0018-0044