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

Algorithm 2

Function triggerTimer.

Function description: trigger the timer on the message and make it ready to be sent in queue

Source code:

() fun triggerTimer (: int, indexxvis: IndexxVis, lindexxvis: LIndexxVis, lindexxvis2: LIndexxVis) =

()  if #1 indexxvis =

()  then ([(#1 indexxvis, visible)] ^∧∧ lindexxvis, lindexxvis2)

()  else (lindexxvis, indexxvis::lindexxvis2);