For the most recent entries see the Petri Nets Newsletter.

An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets.

Garg, K.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography