Гнесюк, Б.А. 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) (Feb. 2013), 24–27. DOI:https://doi.org/10.15587/1729-4061.2013.8926.