In: IEEE INFOCOM'89. Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies. Technology: Emerging or Converging? 1989, Ottawa, Ont., Canada, pages 38-46. Washington, DC, USA: IEEE Comput. Soc. Press, 1989.
Abstract: Two classes of non-product-form protocol models where the equilibrium probabilities of state may be computed recursively are described. An algorithm is presented for the computer generation of these recursions. The use of the algorithm is described for manufacturing nets, a class of Petri type networks.