Shmeleva, T. R. “VERIFICATION OF THE TRIANGULAR COMMUNICATION GRIDS PROTOCOLS BY INFINITE PETRI NETS”. Radio Electronics, Computer Science, Control, no. 4 (January 18, 2019). Accessed April 26, 2024. http://ric.zntu.edu.ua/article/view/154478.