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

Algorithm 4

Function ifMsgArrived.

Function description: determine whether the corresponding message has already exists in queue

Source code:

() fun ifMsgArrived (, index: int) = false

()  MsgArrived (msgs: Msgs, index: int) =

()   if #id (hd msgs) = index

()   then true

()   else ifMsgArrived ((tl msgs), index)