Design of grid structures based on transition systems with justification of the correctness of their functioning - S. L. Kryvyj; Ju. V. Bojko; S. D. Pogorelyj; A. F. Boretskij; N. N. Glybovets (Cybernetics and Systems Analysis, 2017)