Modeling Message Queueing Services with Reliability Guarantee in Cloud Computing Environment Using Colored Petri Nets

Figure 3

A three-level hierarchical structure of timed CPN model.