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 2025 Apr. 4];56(4):137-43. Available from: http://202.83.167.189/index.php/Nucleus/article/view/522