Martynyuk, O. N. ., Drozd, O. V., Nesterenko, S. A., Ahmesh, T. (2019) «Behavioral verification of internet of things systems by Petri nets», Прикладні аспекти інформаційних технологій, 2(4), с. 295-303. doi: 10.15276/aait.04.2019.4.