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), 4164 - 4181. Retrieved from http://sersc.org/journals/index.php/IJAST/article/view/24802