Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / Крывый С. Л., Бойко Ю. В., Погорелый С. Д., Борецкий А. Ф., Глыбовец Н. Н. (2017)
Ukrainian

English  Cybernetics and Systems Analysis   /     Issue (2017, 53 (1))

Kryvyi S.L., Boyko Y.V., Pogorilyy S.D., Boretskyi O.F., Glybovets M.M.
Design of grid structures based on transition systems with justification of the correctness of their functioning

A method for designing a grid system on the basis of transition systems and their synchronous products is considered. The obtained global transition system is translated into a Petri net (PN). With the help of the PN, design decisions are checked for correctness, in particular, for the absence of deadlocks, dead transitions, etc. © 2017, Springer Science+Business Media New York.

Keywords: Diophantine equations, grid structure, transition systems, Petri nets, Product design, Design decisions, Diophantine equation, Global transitions, Grid structures, Grid systems, Synchronous products, Transition system, Design


Cite:
Kryvyi S.L., Boyko Y.V., Pogorilyy S.D., Boretskyi O.F., Glybovets M.M. (2017). Design of grid structures based on transition systems with justification of the correctness of their functioning. Cybernetics and Systems Analysis, 53 (1), 122-133. doi: https://doi.org/10.1007/s10559-017-9911-0 http://jnas.nbuv.gov.ua/article/UJRN-0000621679 [In Russian].


 

Інститут інформаційних технологій НБУВ


+38 (044) 525-36-24
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна