IQBAL, Waseem; YOUSAF, Shahid. Formal Modeling of Agent Based Cloud Computing Services using Petri nets. VFAST Transactions on Software Engineering, [S. l.], v. 1, n. 1, p. 19–24, 2013. DOI: 10.21015/vtse.v1i2.45. Disponível em: https://vfast.org/journals/index.php/VTSE/article/view/45. Acesso em: 24 apr. 2026.