Гнесюк, Б. А., and О. О. Супруненко. “Methods of Dynamic Verification of the Code Based on the Interpretation of Petri Nets”. Eastern-European Journal of Enterprise Technologies, vol. 1, no. 2(61), Feb. 2013, pp. 24-27, doi:10.15587/1729-4061.2013.8926.