Dr. C. Punitha Devi, M. Sivaranjani, Diwahar S., Dr. V. Prasanna Venkatesan, “Verification of Adaptive IoT Gateway Architecture Using Colored Petri Nets”, IJAST, vol. 29, no. 04, pp. 4164 - 4181, Jun. 2020.