Мартинюк, О.М., Дрозд, О.В. , Нестеренко, С.А. і Ахмеш, Т. 2019. Поведінкова верифікація систем інтернету речей на основі мереж Петрі. Прикладні аспекти інформаційних технологій. 2, 4 (Груд 2019), 295-303. DOI:https://doi.org/10.15276/aait.04.2019.4.