Iqbal, Waseem, and Shahid Yousaf. 2013. “Formal Modeling of Agent Based Cloud Computing Services Using Petri Nets”. VFAST Transactions on Software Engineering 1 (1):19-24. https://doi.org/10.21015/vtse.v1i2.45.