DR. C. PUNITHA DEVI, M. SIVARANJANI, DIWAHAR S., DR. V. PRASANNA VENKATESAN. Verification of Adaptive IoT Gateway Architecture Using Colored Petri Nets. International Journal of Advanced Science and Technology, v. 29, n. 04, p. 4164 - 4181, 6 Jun. 2020.