Kryvyi, S.Boyko, YU.Pogorilyy, S.Boretskyi, O.Glibovets, M.2018-05-252018-05-252017Design of Grid Services for Running Virtual Machines as Computing Task Based on Transition Systems / S. L. Kryvyi, Yu. V. Boyko, ... M. M. Glibovets [et al.] // Proceedings of IAM. - 2017. - Vol. 6, No. 1. - P. 54-73. - Autors: S. L. Kryvyi, Yu. V. Boyko, S. D. Pogorilyy, O. F. Boretskyi, M. M. Glibovetshttps://ekmair.ukma.edu.ua/handle/123456789/13129Proposed to apply method of grid system design on grid services for running virtual machines as regular computing task. The resulting global transition system is translated into a Petri net (PN). With the help of the PN is checked correctness of design, in particular the absence of deadlocks, dead transitions etc.Предлагается применить метод проектирования для грид-службы для запуска виртуальных машин в качестве обычной вычислительной задачи. Полученная глобальная транзиционная система переведена в сеть Петри (СП). С помощью СП проверяется правильность конструкции, в частности отсутствие взаимоблокировок, мертвых переходов и т. д.engridgrid servicevirtual machinetransition systemsPetri networkDiophantine equationthesisгридгрид-службавиртуальная машинатранзационная системасеть ПетриДиофантовое уравнениеConference materials