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.