IPRI - www.ipri.kiev.ua -  IPRI - www.ipri.kiev.ua -
Title (journal) Data Rec., Storage & Processing. — 2012. — Vol. 14, N 3.
Pages 81-91
PDF,DOC, full text
Title (article) Distributed Transactions Modeling with the Use of Petri Nets
Authors M. Iwaniak, W. Khadzhynov
Kiev, Ukraine
Annotation 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 reachability analysis and study of the net properties is presented.
Key words Petri Net, distributed transactions, 3PC, Three-Phase Commit protocol.
File 3-8.pdf