Martynyuk, Oleksandr N., Oleksandr V. Drozd, Sergey A. Nesterenko, Tamem Ahmesh. «Behavioral Verification of Internet of Things Systems by Petri Nets». Прикладні аспекти інформаційних технологій 2, no. 4 (Грудень 24, 2019): 295-303. дата звернення Листопад 3, 2024. https://aait.od.ua/index.php/journal/article/view/90.