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 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут проблем реєстрації інформації НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/87079 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і обробка даних. — 2013. — Т. 15, № 3. — С. 61-70. — Бібліогр.: 5 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862680070281232384 |
|---|---|
| author | Iwaniak, M. Khadzhynov, W. |
| author_facet | Iwaniak, M. Khadzhynov, W. |
| citation_txt | Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і обробка даних. — 2013. — Т. 15, № 3. — С. 61-70. — Бібліогр.: 5 назв. — англ. |
| collection | DSpace DC |
| container_title | Реєстрація, зберігання і обробка даних |
| 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.
Розглянуто застосування розфарбовуваних мереж Петрі для побудови моделей та подальшої імітації двофазного протоколу підтвердження розподілених транзакцій - 2PC (Two-phase commit) з багатьма учасниками. Надано опис основних понять розфарбовуваних мереж Петрі, що використовуються, а також дії двофазного протоколу підтвердження транзакцій для більш ніж одного учасника. За допомогою відповідного вибору початкових розміток проаналізовано досяжні стани для різних ситуацій, які можуть виникнути в процесі реалізації розподілених транзакцій із застосуванням протоколу 2PC.
|
| first_indexed | 2025-12-07T15:45:01Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-87079 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1560-9189 |
| language | English |
| last_indexed | 2025-12-07T15:45:01Z |
| publishDate | 2013 |
| publisher | Інститут проблем реєстрації інформації НАН України |
| record_format | dspace |
| spelling | Iwaniak, M. Khadzhynov, W. 2015-10-10T16:19:27Z 2015-10-10T16:19:27Z 2013 Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і обробка даних. — 2013. — Т. 15, № 3. — С. 61-70. — Бібліогр.: 5 назв. — англ. 1560-9189 https://nasplib.isofts.kiev.ua/handle/123456789/87079 004.5:519.876.2 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. en Інститут проблем реєстрації інформації НАН України Реєстрація, зберігання і обробка даних Експертні системи та підтримка прийняття рішень Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants Моделювання двофазного протоколу підтвердження транзакцій з багатьма учасниками за допомогою розфарбовуваних мереж Петрі Article published earlier |
| spellingShingle | Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants Iwaniak, M. Khadzhynov, W. Експертні системи та підтримка прийняття рішень |
| title | Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants |
| title_alt | Моделювання двофазного протоколу підтвердження транзакцій з багатьма учасниками за допомогою розфарбовуваних мереж Петрі |
| 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_short | 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 |
| topic | Експертні системи та підтримка прийняття рішень |
| topic_facet | Експертні системи та підтримка прийняття рішень |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/87079 |
| work_keys_str_mv | AT iwaniakm colouredpetrinetmodeloftwophasecommitprotocolwithmultipleparticipants AT khadzhynovw colouredpetrinetmodeloftwophasecommitprotocolwithmultipleparticipants AT iwaniakm modelûvannâdvofaznogoprotokolupídtverdžennâtranzakcíizbagatʹmaučasnikamizadopomogoûrozfarbovuvanihmerežpetrí AT khadzhynovw modelûvannâdvofaznogoprotokolupídtverdžennâtranzakcíizbagatʹmaučasnikamizadopomogoûrozfarbovuvanihmerežpetrí |