Shmeleva, T. Verification of the Hexagonal Communication Grid by Infinite Petri Nets. RT 2018, 3, 38-45.