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