Modeling and evaluating the DQDB protocol with stochastic timed Petri nets