Гнесюк, Богдан Анатолійович, і Оксана Олександрівна Супруненко. 2013. «Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі». Eastern-European Journal of Enterprise Technologies 1 (2(61):24-27. https://doi.org/10.15587/1729-4061.2013.8926.