Гнесюк, Б. А. and Супруненко, О. О. (2013) “Methods of dynamic verification of the code based on the interpretation of Petri nets”, Eastern-European Journal of Enterprise Technologies, 1(2(61), pp. 24–27. doi: 10.15587/1729-4061.2013.8926.