Time Petri net based performance evaluation of traffic scheduling in WIMAX networks | IEEE Conference Publication | IEEE Xplore