Гнесюк, Богдан Анатолійович, і Оксана Олександрівна Супруненко. «Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі». Eastern-European Journal of Enterprise Technologies 1, no. 2(61) (Лютий 5, 2013): 24–27. дата звернення Травень 17, 2024. https://journals.uran.ua/eejet/article/view/8926.