On the equivalence of IEEE 802.4 and FDDI timed token protocols