Resource Driven Automata Nets

• Autorzy: Bashkin V.A. , Lomazova I.A.
• Języki publikacji: EN

Abstrakty

EN

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

EN

multi-agent systems; Petri net; automata; communication; mobility

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2011
• Tom: Vol. 109, nr 3
• Strony: 223--236
• Opis fizyczny: Bibliogr. 10 poz., wykr.

Twórcy

autor

Bashkin V.A.

autor

Lomazova I.A.

• Dept. of Software Engineering, Higher School of Economics Moscow, 105187, Russia,

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.