Department of Computer Science University of Aarhus Ny Munkegade 8000 Aarhus C Denmark January 2003 Analysis of GSM Handover using Coloured Petri Nets A Master’s Thesis…
