Iqbal, W. and Yousaf, S. 2013. Formal Modeling of Agent Based Cloud Computing Services using Petri nets. VFAST Transactions on Software Engineering. 1, 1 (Jul. 2013), 19–24. DOI:https://doi.org/10.21015/vtse.v1i2.45.