Return to Article Details Formal Modeling of Agent Based Cloud Computing Services using Petri nets Download Download PDF