Title :
Performance specification and livelock detection/correction of a protocol using timed Petri nets
Author_Institution :
Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
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 designed by AT&T. This data-transfer phase is based on the X.25 packet-level protocol. Using timed Petri nets, a performance specification for this procedure is also given. This approach to performance specification is based on the work of K. Garg (IEEE Trans. Software Engineering, vol.SE-11, p.1216-25, Oct. 1985)
Keywords :
Petri nets; protocols; X.25 packet-level protocol; digital multiplexed interface; layer-three data transfer phase; livelock detection/correction; performance specification; protocol; reset procedure; timed Petri nets; Computer interfaces; Concurrent computing; Data communication; Fasteners; Information science; Information systems; Petri nets; Protocols; Real time systems; Timing;
Conference_Titel :
Communications, 1988. ICC '88. Digital Technology - Spanning the Universe. Conference Record., IEEE International Conference on
Conference_Location :
Philadelphia, PA
DOI :
10.1109/ICC.1988.13758
