Ahmad, Z., F. Ahmad, and Z. A Gondal. 2020. “Formal Analysis of Improved and Secure Architecture of E-Voting System Using Hierarchical Coloured Petri Nets”. The Nucleus 56 (4):137-43. https://doi.org/10.71330/thenucleus.2019.522.