Shmeleva, T. “Verification of the Hexagonal Communication Grid by Infinite Petri Nets”. Radiotekhnika, vol. 3, no. 194, Sept. 2018, pp. 38-45, doi:10.30837/rt.2018.3.194.07.