Мартинюк ОМ, Дрозд ОВ, Нестеренко СА, Ахмеш Т. Поведінкова верифікація систем інтернету речей на основі мереж Петрі. https://aait.op.edu.ua [інтернет]. 24, Грудень 2019 [цит. за 01, Липень 2025];2(4):295-303. доступний у: https://aait.op.edu.ua/index.php/journal/article/view/90