Shmeleva T. Verification of the hexagonal communication grid by infinite Petri nets. RT [Internet]. 2018Sep.26 [cited 2024May19];3(194):38-45. Available from: http://rt.nure.ua/article/view/175325