Distributed Transactions Modeling with the Use of Petri Nets

• Date: 2012
• Main Authors: Iwaniak, M., Khadzhynov, W.
• Format: Article
• Language: English
• Published: Інститут проблем реєстрації інформації НАН України 2012
• Subjects: Petri Net; distributed transactions; 3PC; Three-Phase Commit protocol
• Online Access: http://drsp.ipri.kiev.ua/article/view/105222
• Journal Title: 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...