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.
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.