Гнесюк, Богдан Анатолійович, and Оксана Олександрівна Супруненко. “Methods of Dynamic Verification of the Code Based on the Interpretation of Petri Nets”. Eastern-European Journal of Enterprise Technologies 1, no. 2(61) (February 5, 2013): 24–27. Accessed February 14, 2025. https://journals.uran.ua/eejet/article/view/8926.