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

For the most recent entries see the Petri Nets Newsletter.

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

In: IEEE Transactions on Software Engineering, Vol. 11, No. 10, pages 1216-1225. 1985.

Abstract: One shows how to use Petri nets to describe and specify algebraic performances of communication systems. The time parameters are used to model the transmission delay of some operations of a communication protocol. The method can be generalized to other problems.

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

Back to the Petri Nets Bibliography