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

Table 1

Simple colorsets.

Simple colorsets
) colset UNIT = unit timed;
() colset INT = int;
() colset MsgTimeout = int timed;
() colset REQ = with req timed;
() colset Sender = with sender;
() colset Thread = with thread;
() colset MsgContent = with ;
() colset Visibility = with ;