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 July 23, 2024. http://ric.zntu.edu.ua/article/view/154478.