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

• Дата: 2013
• Автори: Iwaniak, M., Khadzhynov, W.
• Формат: Стаття
• Мова: English
• Опубліковано: Інститут проблем реєстрації інформації НАН України 2013
• Теми: розфарбовувані мережі Петрі; розподілені транзакції; двофазний протокол підтвердження транзакцій; протокол 2РС; раскрашиваемые сети Петри; распределенные транзакции; двухфазный протокол подтверждения транзакций; протокол 2PC; Coloured Petri Net; distributed transactions; 2PC; Two-Phase Commit protocol
• Онлайн доступ: http://drsp.ipri.kiev.ua/article/view/103431
• Назва журналу: Data Recording, Storage & Processing

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...