Modeling message queueing services with reliability guarantee in cloud computing environment using colored Petri nets

From MaRDI portal