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