Distributed Transactions Modeling with the Use of Petri Nets

• Published in: Реєстрація, зберігання і обробка даних
• Date: 2012
• Main Authors: Iwaniak, M., Khadzhynov, W.
• Format: Article
• Language: English
• Published: Інститут проблем реєстрації інформації НАН України 2012
• Subjects: Технічні засоби отримання і обробки даних
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/50587
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Distributed Transactions Modeling with the Use of Petri Nets / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і оброб. даних. — 2012. — Т. 14, № 3. — С. 81-91. — Бібліогр.: 4 назв. — англ.

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