GSPN Models of Dual-Band GSM Networks