IPRI - www.ipri.kiev.ua -  IPRI - www.ipri.kiev.ua -
Раздел [RUS]
Регистрация, хранение и обраб. данных. — 2012. — Т. 14, № 3.
[UKR]
Реєстрація, зберігання і оброб. даних. — 2012. — Т. 14, № 3.
[ENG]
Data Rec., Storage & Processing. — 2012. — Vol. 14, N 3.
Страницы 81-91
PDF, full text
Заглавие [RUS]
Моделирование распределенных транзакций с помощью сетей Петри
[UKR]
Моделювання розподілених транзакцій за допомогою мереж Петрі
[ENG]
Distributed Transactions Modeling with the Use of Petri Nets
Авторы [RUS]
Марек Иваняк, Владимир Хаджинов
[UKR]
Марек Іваняк, Володимир Хаджинов
[ENG]
M. Iwaniak, W. Khadzhynov
Аннотация [RUS]
Предпринята попытка применения простой сети Петри для моделирования и исследования трехфазного протокола фиксации (3PC). Приведен краткий обзор сетей Петри. Поясняется суще-ство обычных и распределенных транзакций. Описаны шаги протокола 3PC. Проанализирована доступность сети Петри с протоколом 3PC и исследованы свойства предложенной сети. Табл.: 5. Ил.: 4. Библиогр.: 4 наим.
[UKR]
Зроблено спробу використання простої мережі Петрі для моделювання й дослідження три-фазного протоколу фіксації (3РС). Наведено короткий огляд мереж Петрі. Пояснено сутність зви-чайних і розподілених транзакцій. Дано опис кроків протоколу 3РС. Проаналізовано доступність мережі Петрі з протоколом 3РС і досліджено властивості запропонованої мережі. Табл.: 5. Іл.: 4. Бібліогр.: 4 найм.
[ENG]
The attempt of using ordinary Petri Net to model and study Three-Phase Commit protocol (3PC) is presented. A brief overview of Petri Nets is introduced. The nature of typical and distributed transactions are explained. 3PC protocol actions are described. The Petri Net of 3PCprotocol followed by reachability analysis and study of the net properties is presented.
Ключевые слова [RUS]
сети Петри, распределенные транзакции, 3PC, трехфазный протокол утверждения транзакций.
[UKR]
мережі Петрі, розподілені транзакції, 3РС, трифазний протокол ствердження транзакцій.
[ENG]
Petri Net, distributed transactions, 3PC, Three-Phase Commit protocol.
Ссылки
Файлы 2012-3-8.pdf