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

Table 2

Compound colorsets.

Compound colorsets
() colset Msg = record
id: INT
msgContent: MsgContent
AT: INT
IT: INT
OT: INT;
() colset MsgTimed = record
id: INT
msgContent: MsgContent
AT: INT timed;
() colset Msgs = list Msg;
() colset ThreadxMsg = product
Thread Msg timed;
() colset MsgxTime = product Msg INT;
() colset LMsgxTime = list MsgxTime;
() colset IdxVis = product INT Visibility;
() colset LIdxVis = list IdxVis;