Моделирование Grid-узла на основе сетей Петри

• Опубліковано в: : Системні дослідження та інформаційні технології
• Дата: 2009
• Автор: Шелестов, А.Ю.
• Формат: Стаття
• Мова: Російська
• Опубліковано: Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2009
• Теми: Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/42224
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Моделирование Grid-узла на основе сетей Петри / А.Ю. Шелестов // Систем. дослідж. та інформ. технології. — 2009. — № 3. — С. 52–65. — Бібліогр.: 18 назв. — рос.

Исследуется узел Grid-системы с применением аппарата сетей Петри. Построена модель работы узла и рассмотрены ее структурные свойства. Показано, что полученная сеть является ограниченной, живой и не содержит недостижимых позиций. Проведен анализ выполнимости свойств взаимного исключения и равноправия. Досліджується вузол Grid-системи із застосуванням апарату мереж Петрі. Побудовано модель роботи вузла та досліджено її структурні властивості. Показано, що побудована мережа є обмеженою, живою та не містить недосяжних позицій. Проведено аналіз умов виконання властивостей взаємного виключення та рівноправ’я. The node of Grid system was investigated using the Petri network approach. A model of the working node was constructed and its structural properties were investigated. In particular, it is shown that the constructed network is bounded, alive and free of inaccessible places. Analysis of the mutex and fairness properties was performed for the model.