T. Shmeleva, “Verification of the hexagonal communication grid by infinite Petri nets”, RT, vol. 3, no. 194, pp. 38–45, Sep. 2018.