Geodesic
On the spatial boundedness of cellular RDA-nets
Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 4, pp. 391-409

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: multiagent systems, verification, Petri nets, cellular automata, resource driven automata nets, spatial boundedness. 
@article{MAIS_2017_24_4_a0,
     author = {V. A. Bashkin},
     title = {On the spatial boundedness of cellular {RDA-nets}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {391--409},
     publisher = {mathdoc},
     volume = {24},
     number = {4},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a0/}
}
TY  - JOUR
AU  - V. A. Bashkin
TI  - On the spatial boundedness of cellular RDA-nets
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2017
SP  - 391
EP  - 409
VL  - 24
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a0/
LA  - ru
ID  - MAIS_2017_24_4_a0
ER  - 
%0 Journal Article
%A V. A. Bashkin
%T On the spatial boundedness of cellular RDA-nets
%J Modelirovanie i analiz informacionnyh sistem
%D 2017
%P 391-409
%V 24
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a0/
%G ru
%F MAIS_2017_24_4_a0
V. A. Bashkin. On the spatial boundedness of cellular RDA-nets. Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 4, pp. 391-409. http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a0/