Upper bounds for the token rotation time in the 802.4 token passing bus