Б. А. Гнесюк і О. О. Супруненко, «Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі», EEJET, т. 1, вип. 2(61), с. 24–27, Лют 2013.