2PC 1 Coloured Petri Net 1 Two-Phase Commit protocol distributed transactions 1 двофазний протокол підтвердження транзакцій 1 двухфазный протокол подтверждения транзакций 1 протокол 2PC 1 протокол 2РС 1 раскрашиваемые сети Петри 1 распределенные транзакции 1 розподілені транзакції 1 розфарбовувані мережі Петрі 1