AHMAD, Z.; AHMAD, F.; GONDAL, Z. A. Formal Analysis of Improved and Secure Architecture of E-voting System using Hierarchical Coloured Petri Nets. The Nucleus, [S. l.], v. 56, n. 4, p. 137–143, 2020. DOI: 10.71330/thenucleus.2019.522. Disponível em: http://thenucleuspak.org.pk/index.php/Nucleus/article/view/522. Acesso em: 15 apr. 2025.