Моделирование работы узла grid-системы на основе сетей Петри
Обчислювальний вузол Grid-системи досліджується із застосуванням апарату мереж Петрі. Побудовано модель роботи вузла та досліджено її структурні властивості, зокрема показано, що побудована мережа є обмеженою, живою та не містить недосяжних позицій. Для побудованої моделі проведено аналіз існування...
Збережено в:
| Опубліковано в: : | Проблемы управления и информатики |
|---|---|
| Дата: | 2008 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/209093 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Моделирование работы узла grid-системы на основе сетей Петри / А.Ю. Шелестов // Проблемы управления и информатики. — 2008. — № 1. — С. 104-113. — Бібліогр.: 9 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | Обчислювальний вузол Grid-системи досліджується із застосуванням апарату мереж Петрі. Побудовано модель роботи вузла та досліджено її структурні властивості, зокрема показано, що побудована мережа є обмеженою, живою та не містить недосяжних позицій. Для побудованої моделі проведено аналіз існування властивостей взаємного виключення та рівноправ’я.
Processing node of the Grid system was investigated using Petri network approach. The model of the working node was constructed and its structural properties were investigated. In particular, it was shown, that constructed network is bounded, living and hasn’t the inaccessible places. For constructed model the feasibility analysis of the mutex and fairness properties was also performed.
|
|---|---|
| ISSN: | 0572-2691 |