Martynyuk O.N.., Drozd O.V., Nesterenko S.A., Ahmesh T. “Behavioral verification of internet of things systems by Petri nets”. Applied Aspects of Information Technology. 2019; Vol. 2, No. 4: 295-303. DOI:https://doi.org/10.15276/aait.04.2019.4.