web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000621679
Cybernetics and Systems Analysis   А - 2019 /  Issue (2017, Т. 53, № 1)
Крывый С. Л., Бойко Ю. В., Погорелый С. Д., Борецкий А. Ф., Глыбовец Н. Н.
Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д.
 https://doi.org/10.1007/s10559-017-9911-0
 Scopus
Бібліографічний опис:
Крывый С. Л., Бойко Ю. В., Погорелый С. Д., Борецкий А. Ф., Глыбовец Н. Н. Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования. Кибернетика и системный анализ. 2017. Т. 53, № 1. С. 122-133. doi: https://doi.org/10.1007/s10559-017-9911-0 URL: http://jnas.nbuv.gov.ua/article/UJRN-0000621679 |
 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]. |
PDF