Abstract
Cellular resource driven automata nets (CRDA-nets) is a generalization of the concept of two-level resource nets (Petri nets) with an infinite regular system grid. This formalism is a hybrid of Petri nets and asynchronous Cellular Automata and is designed for modeling multi-agent systems with dynamic spatial structure. Spatial boundedness is a property that guarantees the preservation of the finiteness of “geometric dimensions” of the active part of the system (for example, the living space) during its lifetime. Three variants of spatial boundedness for cellular RDA-nets are defined: localization, bounded diameter and bounded area. The properties of the corresponding algorithmic problems are investigated, their undecidability in the general case is proved. A non-trivial criterion for the localization of an one-dimensional CRDA-net is proposed, based on the new concept of the RDA propagation graph. An algorithm is described for constructing a propagation graph, using the method of saturation of generating paths. A method for estimating the diameter of an 1-dim CRDA with a bounded propagation graph is presented.
Highlights
Одной из интересных сторон Р-сетей является возможность удобного моделирования пространственной динамики – агенты могут перемещать друг друга между узлами системной сети
A., "On the Spatial Boundedness of Cellular RDA-nets", Modeling and Analysis of Information Systems, 24:4 (2017), 391–409
Summary
Управляемым ресурсами автоматом типа a ∈ Ω (ресурсным автоматом, Р-автоматом) называется набор A = (SA, TA, lA), где SA конечное множество состояний, TA ⊆ SA × SA отношение перехода и lA : TA → L(a) функция пометки переходов. 1) для типа ai ∈ Ω множество Const(ai) определяется как множество всех состояний Р-автомата Ai; Const =def a∈Ω Const(a); 2) каждый Ai есть Р-автомат типа ai над множеством типов Ω и множествами Ω-типизированных переменных V ar, имён портов Π и констант Const. Ak) и системной сети SN над множеством типов Ω и множествами Ω-типизированных имён портов Π и констант Const. Пусть (a|s) агент, находящийся в узле v ∈ V при разметке M , t ∈ Ta переход, такой, что t = (s, s ) для некоторого s. При этом синтаксис языка получается максимально простым, что позволяет достаточно легко строить различные гибридные и высокоуровневые расширения [10]
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
