Distributed Transactions Modeling with the Use of Petri Nets
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 reac...
Збережено в:
| Дата: | 2012 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут проблем реєстрації інформації НАН України
2012
|
| Теми: | |
| Онлайн доступ: | http://drsp.ipri.kiev.ua/article/view/105222 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Data Recording, Storage & Processing |
Репозитарії
Data Recording, Storage & Processing| id |
drspiprikievua-article-105222 |
|---|---|
| record_format |
ojs |
| spelling |
drspiprikievua-article-1052222024-08-30T12:21:16Z Distributed Transactions Modeling with the Use of Petri Nets Моделирование распределенных транзакций с помощью сетей Петри Моделювання розподілених транзакцій за допомогою мереж Петрі Iwaniak, M. Khadzhynov, W. мережі Петрі розподілені транзакції 3РС трифазний протокол ствердження транзакцій сети Петри распределенные транзакции 3PC трехфазный протокол утверждения транзакций Petri Net distributed transactions 3PC Three-Phase Commit protocol 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. Предпринята попытка применения простой сети Петри для моделирования и исследования трехфазного протокола фиксации (3PC). Приведен краткий обзор сетей Петри. Поясняется суще-ство обычных и распределенных транзакций. Описаны шаги протокола 3PC. Проанализирована доступность сети Петри с протоколом 3PC и исследованы свойства предложенной сети. Табл.: 5. Ил.: 4. Библиогр.: 4 наим. Зроблено спробу використання простої мережі Петрі для моделювання й дослідження три-фазного протоколу фіксації (3РС). Наведено короткий огляд мереж Петрі. Пояснено сутність зви-чайних і розподілених транзакцій. Дано опис кроків протоколу 3РС. Проаналізовано доступність мережі Петрі з протоколом 3РС і досліджено властивості запропонованої мережі. Табл.: 5. Іл.: 4. Бібліогр.: 4 найм. Інститут проблем реєстрації інформації НАН України 2012-09-18 Article Article Рецензована Стаття application/pdf http://drsp.ipri.kiev.ua/article/view/105222 10.35681/1560-9189.2012.14.3.105222 Data Recording, Storage & Processing; Vol. 14 No. 3 (2012); 81-91 Регистрация, хранение и обработка данных; Том 14 № 3 (2012); 81-91 Реєстрація, зберігання і обробка даних; Том 14 № 3 (2012); 81-91 1560-9189 en http://drsp.ipri.kiev.ua/article/view/105222/100401 Авторське право (c) 2012 Реєстрація, зберігання і обробка даних |
| institution |
Data Recording, Storage & Processing |
| baseUrl_str |
|
| datestamp_date |
2024-08-30T12:21:16Z |
| collection |
OJS |
| language |
English |
| topic |
Petri Net distributed transactions 3PC Three-Phase Commit protocol |
| spellingShingle |
Petri Net distributed transactions 3PC Three-Phase Commit protocol Iwaniak, M. Khadzhynov, W. Distributed Transactions Modeling with the Use of Petri Nets |
| topic_facet |
мережі Петрі розподілені транзакції 3РС трифазний протокол ствердження транзакцій сети Петри распределенные транзакции 3PC трехфазный протокол утверждения транзакций Petri Net distributed transactions 3PC Three-Phase Commit protocol |
| format |
Article |
| author |
Iwaniak, M. Khadzhynov, W. |
| author_facet |
Iwaniak, M. Khadzhynov, W. |
| author_sort |
Iwaniak, M. |
| title |
Distributed Transactions Modeling with the Use of Petri Nets |
| title_short |
Distributed Transactions Modeling with the Use of Petri Nets |
| title_full |
Distributed Transactions Modeling with the Use of Petri Nets |
| title_fullStr |
Distributed Transactions Modeling with the Use of Petri Nets |
| title_full_unstemmed |
Distributed Transactions Modeling with the Use of Petri Nets |
| title_sort |
distributed transactions modeling with the use of petri nets |
| title_alt |
Моделирование распределенных транзакций с помощью сетей Петри Моделювання розподілених транзакцій за допомогою мереж Петрі |
| description |
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. |
| publisher |
Інститут проблем реєстрації інформації НАН України |
| publishDate |
2012 |
| url |
http://drsp.ipri.kiev.ua/article/view/105222 |
| work_keys_str_mv |
AT iwaniakm distributedtransactionsmodelingwiththeuseofpetrinets AT khadzhynovw distributedtransactionsmodelingwiththeuseofpetrinets AT iwaniakm modelirovanieraspredelennyhtranzakcijspomoŝʹûsetejpetri AT khadzhynovw modelirovanieraspredelennyhtranzakcijspomoŝʹûsetejpetri AT iwaniakm modelûvannârozpodílenihtranzakcíjzadopomogoûmerežpetrí AT khadzhynovw modelûvannârozpodílenihtranzakcíjzadopomogoûmerežpetrí |
| first_indexed |
2025-07-17T10:56:27Z |
| last_indexed |
2025-07-17T10:56:27Z |
| _version_ |
1850411095068508160 |