Approach to Performance Specifications of Communication Protocols using Timed Petri Nets.

For the most recent entries see the Petri Nets Newsletter.

Approach to Performance Specifications of Communication Protocols using Timed Petri Nets.

In: IEEE Transactions on Software Engineering, Vol. SE-11, No. 10, pages 1216-1224. 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