DocumentCode
2254580
Title
Performance specification and livelock detection/correction of a protocol using timed Petri nets
Author
Gehlot, V.
Author_Institution
Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
fYear
1988
fDate
12-15 Jun 1988
Firstpage
1286
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Communications, 1988. ICC '88. Digital Technology - Spanning the Universe. Conference Record., IEEE International Conference on
Conference_Location
Philadelphia, PA
Type
conf
DOI
10.1109/ICC.1988.13758
Filename
13758
Link To Document