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 |
---|---|
Автори: | , |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
Інститут проблем реєстрації інформації НАН України
2013
|
Теми: | |
Онлайн доступ: | http://drsp.ipri.kiev.ua/article/view/103431 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Data Recording, Storage & Processing |
Репозитарії
Data Recording, Storage & Processingid |
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 |