[1]
Б. А. Гнесюк and О. О. Супруненко, “Methods of dynamic verification of the code based on the interpretation of Petri nets”, EEJET, vol. 1, no. 2(61), pp. 24–27, Feb. 2013.