Verification of the WAP Transaction Layer using Coloured Petri Nets