Iqbal, W.; Yousaf, S. Formal Modeling of Agent Based Cloud Computing Services Using Petri Nets. VFAST trans. softw. eng. 2013, 1, 19-24.