Моделирование работы узла grid-системы на основе сетей Петри
Обчислювальний вузол Grid-системи досліджується із застосуванням апарату мереж Петрі. Побудовано модель роботи вузла та досліджено її структурні властивості, зокрема показано, що побудована мережа є обмеженою, живою та не містить недосяжних позицій. Для побудованої моделі проведено аналіз існування...
Saved in:
| Published in: | Проблемы управления и информатики |
|---|---|
| Date: | 2008 |
| ISSN: | 0572-2691 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/209093 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Моделирование работы узла grid-системы на основе сетей Петри / А.Ю. Шелестов // Проблемы управления и информатики. — 2008. — № 1. — С. 104-113. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Обчислювальний вузол 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 |