In: The 4th Int. Conf. on Distributed Computing Systems, San Francisco, California, May 14--18, 1984, IEEE, pages 202-212. 1984.
Also in: IEEE Trans. Software Eng., Vol. SE-11, No. 10, pages 1216-1225. October 1985.
Abstract: The author shows how timed Petri nets can be used to great advantage in describing and algebraically specifying communication system performance. The specification is borrowed from the recently reported AFFIRM language.