Гнесюк, Богдан Анатолійович, 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):24-27. https://doi.org/10.15587/1729-4061.2013.8926.