Ahmad, Z., Ahmad, F., & Gondal, Z. A. (2020). Formal Analysis of Improved and Secure Architecture of E-voting System using Hierarchical Coloured Petri Nets. The Nucleus, 56(4), 137–143. Retrieved from http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/522