Гнесюк БА, Супруненко ОО. Methods of dynamic verification of the code based on the interpretation of Petri nets. EEJET [Internet]. 2013Feb.5 [cited 2024May17];1(2(61):24-7. Available from: https://journals.uran.ua/eejet/article/view/8926