Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants

In this work the usage of Coloured Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Coloured Petri Nets is introduced. Two-Phase Commit protocol is briefly described than introduced as Coloured Petri Net model. By initial markin...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2013
Автори: Iwaniak, M., Khadzhynov, W.
Формат: Стаття
Мова:English
Опубліковано: Інститут проблем реєстрації інформації НАН України 2013
Теми:
Онлайн доступ:http://drsp.ipri.kiev.ua/article/view/103431
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Data Recording, Storage & Processing

Репозитарії

Data Recording, Storage & Processing
id drspiprikievua-article-103431
record_format ojs
spelling drspiprikievua-article-1034312020-12-28T19:18:12Z Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants Моделирование двухфазного протокола подтверждения транзакций со многими участниками с помощью раскрашиваемых сетей Петри Моделювання двофазного протоколу підтвердження транзакцій з багатьма учасниками за допомогою розфарбовуваних мереж Петрі Iwaniak, M. Khadzhynov, W. розфарбовувані мережі Петрі розподілені транзакції двофазний протокол підтвердження транзакцій протокол 2РС раскрашиваемые сети Петри распределенные транзакции двухфазный протокол подтверждения транзакций протокол 2PC Coloured Petri Net distributed transactions 2PC Two-Phase Commit protocol In this work the usage of Coloured Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Coloured Petri Nets is introduced. Two-Phase Commit protocol is briefly described than introduced as Coloured Petri Net model. By initial marking adaptation a few scenarios for 2PC protocol are presented with the use of the reachability analysis. Рассмотрено применение раскрашиваемых сетей Петри для построения моделей и последующей имитации двухфазного протокола подтверждения распределенных транзакций — 2PC (Two-phase commit) со многими участниками. Дано описание основных используемых понятий раскрашиваемых сетей Петри, а также действие двухфазного протокола подтверждения транзакций для более чем одного участника. С помощью соответствующего выбора начальных разметок проведен анализ достижимых состояний для различных ситуаций, которые могут возникнуть в процессе реализации распределенных транзакций с применением протокола 2PC. Табл.: 8. Ил.: 3. Библиогр.: 5 наим. Розглянуто застосування розфарбовуваних мереж Петрі для побудови моделей та подальшої імітації двофазного протоколу підтвердження розподілених транзакцій — 2PC (Two-phase commit) з багатьма учасниками. Дано опис основних понять розфарбовуваних мереж Петрі, що використовуються, а також дії двофазного протоколу підтвердження транзакцій для більш ніж одного учасника. За допомогою відповідного вибору початкових розміток проведено аналіз досяжних станів для різних ситуацій, які можуть виникнути в процесі реалізації розподілених транзакцій із застосуванням протоколу 2РС. Табл.: 8. Іл.: 3. Бібліогр.: 5 найм. Інститут проблем реєстрації інформації НАН України 2013-09-05 Article Article application/pdf http://drsp.ipri.kiev.ua/article/view/103431 10.35681/1560-9189.2013.15.3.103431 Data Recording, Storage & Processing; Vol. 15 No. 3 (2013); 61–70 Регистрация, хранение и обработка данных; Том 15 № 3 (2013); 61–70 Реєстрація, зберігання і обробка даних; Том 15 № 3 (2013); 61–70 1560-9189 en http://drsp.ipri.kiev.ua/article/view/103431/98567 Авторське право (c) 2013 Реєстрація, зберігання і обробка даних
institution Data Recording, Storage & Processing
collection OJS
language English
topic розфарбовувані мережі Петрі
розподілені транзакції
двофазний протокол підтвердження транзакцій
протокол 2РС
раскрашиваемые сети Петри
распределенные транзакции
двухфазный протокол подтверждения транзакций
протокол 2PC
Coloured Petri Net
distributed transactions
2PC
Two-Phase Commit protocol
spellingShingle розфарбовувані мережі Петрі
розподілені транзакції
двофазний протокол підтвердження транзакцій
протокол 2РС
раскрашиваемые сети Петри
распределенные транзакции
двухфазный протокол подтверждения транзакций
протокол 2PC
Coloured Petri Net
distributed transactions
2PC
Two-Phase Commit protocol
Iwaniak, M.
Khadzhynov, W.
Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
topic_facet розфарбовувані мережі Петрі
розподілені транзакції
двофазний протокол підтвердження транзакцій
протокол 2РС
раскрашиваемые сети Петри
распределенные транзакции
двухфазный протокол подтверждения транзакций
протокол 2PC
Coloured Petri Net
distributed transactions
2PC
Two-Phase Commit protocol
format Article
author Iwaniak, M.
Khadzhynov, W.
author_facet Iwaniak, M.
Khadzhynov, W.
author_sort Iwaniak, M.
title Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
title_short Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
title_full Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
title_fullStr Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
title_full_unstemmed Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
title_sort coloured petri net model of two-phase commit protocol with multiple participants
title_alt Моделирование двухфазного протокола подтверждения транзакций со многими участниками с помощью раскрашиваемых сетей Петри
Моделювання двофазного протоколу підтвердження транзакцій з багатьма учасниками за допомогою розфарбовуваних мереж Петрі
description In this work the usage of Coloured Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Coloured Petri Nets is introduced. Two-Phase Commit protocol is briefly described than introduced as Coloured Petri Net model. By initial marking adaptation a few scenarios for 2PC protocol are presented with the use of the reachability analysis.
publisher Інститут проблем реєстрації інформації НАН України
publishDate 2013
url http://drsp.ipri.kiev.ua/article/view/103431
work_keys_str_mv AT iwaniakm colouredpetrinetmodeloftwophasecommitprotocolwithmultipleparticipants
AT khadzhynovw colouredpetrinetmodeloftwophasecommitprotocolwithmultipleparticipants
AT iwaniakm modelirovaniedvuhfaznogoprotokolapodtverždeniâtranzakcijsomnogimiučastnikamispomoŝʹûraskrašivaemyhsetejpetri
AT khadzhynovw modelirovaniedvuhfaznogoprotokolapodtverždeniâtranzakcijsomnogimiučastnikamispomoŝʹûraskrašivaemyhsetejpetri
AT iwaniakm modelûvannâdvofaznogoprotokolupídtverdžennâtranzakcíjzbagatʹmaučasnikamizadopomogoûrozfarbovuvanihmerežpetrí
AT khadzhynovw modelûvannâdvofaznogoprotokolupídtverdžennâtranzakcíjzbagatʹmaučasnikamizadopomogoûrozfarbovuvanihmerežpetrí
first_indexed 2024-04-21T19:33:31Z
last_indexed 2024-04-21T19:33:31Z
_version_ 1796974063645622272