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