Verification of the SIP Transaction Using Coloured Petri Nets