Shmeleva, T. R. (2019) “VERIFICATION OF THE TRIANGULAR COMMUNICATION GRIDS PROTOCOLS BY INFINITE PETRI NETS”, Radio Electronics, Computer Science, Control, (4). doi: 10.15588/1607-3274-2018-4-3.