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