Iwaniak, M.; Khadzhynov, W.
(Реєстрація, зберігання і обробка даних, 2012)
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. ...