Гнесюк, Б. А.; Супруненко, О. О. Methods of Dynamic Verification of the Code Based on the Interpretation of Petri Nets. EEJET 2013, 1, 24-27.