Shmeleva, T. (2018) “Verification of the hexagonal communication grid by infinite Petri nets”, Radiotekhnika, 3(194), pp. 38–45. doi: 10.30837/rt.2018.3.194.07.