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