Petri net modelling of network selection for integrated cellular/WLAN networks | IEEE Conference Publication | IEEE Xplore