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