Martynyuk ON, Drozd OV, Nesterenko SA, Ahmesh T. Behavioral verification of internet of things systems by Petri nets. https://aait.od.ua [інтернет]. 24, Грудень 2019 [цит. за 22, Грудень 2024];2(4):295-303. доступний у: https://aait.od.ua/index.php/journal/article/view/90