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