МАРТИНЮК, О. М.; ДРОЗД, О. В. .; НЕСТЕРЕНКО, С. А.; АХМЕШ, Т. Поведінкова верифікація систем інтернету речей на основі мереж Петрі. Прикладні аспекти інформаційних технологій, [S. l.], v. 2, n. 4, p. 295-303, 2019. DOI: 10.15276/aait.04.2019.4. Disponível em: https://aait.op.edu.ua/index.php/journal/article/view/90. Acesso em: 1 лип. 2025.