SHMELEVA, T. R. VERIFICATION OF THE TRIANGULAR COMMUNICATION GRIDS PROTOCOLS BY INFINITE PETRI NETS. Radio Electronics, Computer Science, Control, [S. l.], n. 4, 2019. DOI: 10.15588/1607-3274-2018-4-3. Disponível em: http://ric.zntu.edu.ua/article/view/154478. Acesso em: 26 apr. 2024.