ГНЕСЮК, Б. А.; СУПРУНЕНКО, О. О. Methods of dynamic verification of the code based on the interpretation of Petri nets. Eastern-European Journal of Enterprise Technologies, [S. l.], v. 1, n. 2(61), p. 24–27, 2013. DOI: 10.15587/1729-4061.2013.8926. Disponível em: https://journals.uran.ua/eejet/article/view/8926. Acesso em: 17 may. 2024.