Dr. C. Punitha Devi, M. Sivaranjani, Diwahar S., Dr. V. Prasanna Venkatesan 2020. Verification of Adaptive IoT Gateway Architecture Using Colored Petri Nets. International Journal of Advanced Science and Technology. 29, 04 (Jun. 2020), 4164 - 4181.