M. Iwaniak, W. Khadzhynov, 2013. Моделювання двофазного протоколу підтвердження транзакцій з багатьма учасниками за допомогою розфарбовуваних мереж Петрі 15.. https://doi.org/10.35681/1560-9189.2013.15.3.103431