Iwaniak, M.; Khadzhynov, W.
(Реєстрація, зберігання і обробка даних, 2013)
In this work the usage of Coloured Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Coloured Petri Nets is introduced. Two-Phase Commit protocol is ...