M. Iwaniakand W. Khadzhynov. Моделювання Двофазного Протоколу Підтвердження Транзакцій З Багатьма Учасниками За Допомогою Розфарбовуваних Мереж Петрі. Institute for Information Recording of National Academy of Sciences of Ukraine, Sept. 2013, doi:10.35681/1560-9189.2013.15.3.103431.