Application of stochastic Petri net theory for the evaluation of token bus protocols. - Nirmala N. Shenoy (1991)