For the most recent entries see the Petri Nets Newsletter.

Performance Specification and Livelock Detection/Correction of a Protocol Using Timed Petri Nets.

Gehlot, V.

In: IEEE International Conference on Communications'88: Digital Technology - Spanning the Universe. Conference Record, Vol. 3, pages 1286-1290. IEEE, New York, NY, USA, 1988.

Abstract: Timed Petri nets are used to detect and correct a possible livelock situation in the functioning of a protocol. This protocol is the reset procedure of the layer-three data transfer phase of the digital multiplexed interface (DMI) specification. Using timed Petri nets, a performance specification for this procedure is also given.

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

Back to the Petri Nets Bibliography