Ahmad Z, Ahmad F, Gondal ZA. Formal Analysis of Improved and Secure Architecture of E-voting System using Hierarchical Coloured Petri Nets. The Nucleus [Internet]. 2020 Jun. 19 [cited 2024 Apr. 27];56(4):137-43. Available from: http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/522