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 November 29, 2024. https://ric.zp.edu.ua/article/view/154478.