Stochastic Petri net models of polling systems | IEEE Journals & Magazine | IEEE Xplore