Cybernetics And Systems Analysis logo
Editorial Board Announcements Abstracts Authors Archive
Cybernetics And Systems Analysis
International Theoretical Science Journal
UDC 004.75
S.L. Kryvyi,1 Y.V. Boyko,2 S.D. Pogorilyy,3 O.F. Boretskyi,4 M.M. Glybovets5

DESIGN OF GRID STRUCTURES BASED ON TRANSITION SYSTEMS
WITH JUSTIFICATION OF THE CORRECTNESS OF THEIR FUNCTIONING

Abstract. The authors consider the method of designing grid systems based on transition systems and their products. The resulting global transition system is translated into a Petri net, which is used to verify the correctness of the design decisions.

Keywords: grid-structure, transition systems, Diophantine equations.



FULL TEXT

1Taras Shevchenko National University of Kyiv, Kyiv, Ukraine,
e-mail: sl.krivoi@gmail.com.

2Taras Shevchenko National University of Kyiv, Kyiv, Ukraine,
e-mail: boyko@univ.net.ua.

3Taras Shevchenko National University of Kyiv, Kyiv, Ukraine,
e-mail: sdp@univ.net.ua.

4Taras Shevchenko National University of Kyiv, Kyiv, Ukraine,
e-mail: o.boretskyi@knu.ua.

5National University of “Kyiv-Mohyla Academy,” Kyiv, Ukraine,
e-mail: glib@ukma.kiev.ua.

© 2017 Kibernetika.org. All rights reserved.