Моделирование Grid-узла на основе сетей Петри
Исследуется узел Grid-системы с применением аппарата сетей Петри. Построена модель работы узла и рассмотрены ее структурные свойства. Показано, что полученная сеть является ограниченной, живой и не содержит недостижимых позиций. Проведен анализ выполнимости свойств взаимного исключения и равноправия...
Saved in:
| Published in: | Системні дослідження та інформаційні технології |
|---|---|
| Date: | 2009 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2009
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/42224 |
| 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-узла на основе сетей Петри / А.Ю. Шелестов // Систем. дослідж. та інформ. технології. — 2009. — № 3. — С. 52–65. — Бібліогр.: 18 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-42224 |
|---|---|
| record_format |
dspace |
| spelling |
Шелестов, А.Ю. 2013-03-13T10:52:36Z 2013-03-13T10:52:36Z 2009 Моделирование Grid-узла на основе сетей Петри / А.Ю. Шелестов // Систем. дослідж. та інформ. технології. — 2009. — № 3. — С. 52–65. — Бібліогр.: 18 назв. — рос. 1681–6048 https://nasplib.isofts.kiev.ua/handle/123456789/42224 681.61 Исследуется узел 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. ru Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України Системні дослідження та інформаційні технології Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи Моделирование Grid-узла на основе сетей Петри Моделювання Grid-вузла на основі мереж Петрі Grid node modeling based on Petri networks Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Моделирование Grid-узла на основе сетей Петри |
| spellingShingle |
Моделирование Grid-узла на основе сетей Петри Шелестов, А.Ю. Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| title_short |
Моделирование Grid-узла на основе сетей Петри |
| title_full |
Моделирование Grid-узла на основе сетей Петри |
| title_fullStr |
Моделирование Grid-узла на основе сетей Петри |
| title_full_unstemmed |
Моделирование Grid-узла на основе сетей Петри |
| title_sort |
моделирование grid-узла на основе сетей петри |
| author |
Шелестов, А.Ю. |
| author_facet |
Шелестов, А.Ю. |
| topic |
Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| topic_facet |
Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи |
| publishDate |
2009 |
| language |
Russian |
| container_title |
Системні дослідження та інформаційні технології |
| publisher |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України |
| format |
Article |
| title_alt |
Моделювання Grid-вузла на основі мереж Петрі Grid node modeling based on Petri networks |
| description |
Исследуется узел 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.
|
| issn |
1681–6048 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/42224 |
| citation_txt |
Моделирование Grid-узла на основе сетей Петри / А.Ю. Шелестов // Систем. дослідж. та інформ. технології. — 2009. — № 3. — С. 52–65. — Бібліогр.: 18 назв. — рос. |
| work_keys_str_mv |
AT šelestovaû modelirovaniegriduzlanaosnoveseteipetri AT šelestovaû modelûvannâgridvuzlanaosnovímerežpetrí AT šelestovaû gridnodemodelingbasedonpetrinetworks |
| first_indexed |
2025-12-01T21:05:42Z |
| last_indexed |
2025-12-01T21:05:42Z |
| _version_ |
1850860993605795840 |