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

• Published in: Реєстрація, зберігання і обробка даних
• Date: 2013
• Main Authors: Iwaniak, M., Khadzhynov, W.
• Format: Article
• Language: English
• Published: Інститут проблем реєстрації інформації НАН України 2013
• Subjects: Експертні системи та підтримка прийняття рішень
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/87079
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і обробка даних. — 2013. — Т. 15, № 3. — С. 61-70. — Бібліогр.: 5 назв. — англ.

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.