Distributed Transactions Modeling with the Use of Petri Nets

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

The attempt of using ordinary Petri Net to model and study Three-Phase Commit protocol (3PC) is presented. A brief overview of Petri Nets is introduced. The nature of typical and distributed transactions are explained. 3PC protocol actions are described. The Petri Net of 3PCprotocol followed by reac...