T. R. Shmeleva, “VERIFICATION OF THE TRIANGULAR COMMUNICATION GRIDS PROTOCOLS BY INFINITE PETRI NETS”, RIC, no. 4, Jan. 2019.