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