Dr. C. Punitha Devi, M. Sivaranjani, Diwahar S., Dr. V. Prasanna Venkatesan. Verification of Adaptive IoT Gateway Architecture Using Colored Petri Nets. IJAST [Internet]. 2020Jun.6 [cited 2024May6];29(04):4164 -4181. Available from: http://sersc.org/journals/index.php/IJAST/article/view/24802