A Petri net model of the DQDB protocol