Modeling and evaluating the DQDB protocol with stochastic timed Petri nets | IEEE Conference Publication | IEEE Xplore