Distributed Transactions Modeling with the Use of Petri Nets

• Datum: 2012
• Hauptverfasser: Iwaniak, M., Khadzhynov, W.
• Format: Artikel
• Sprache: Englisch
• Veröffentlicht: Інститут проблем реєстрації інформації НАН України 2012
• Schlagworte: Petri Net; distributed transactions; 3PC; Three-Phase Commit protocol
• Online Zugang: 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...