论文信息 - Performance specification and livelock detection/correction of a protocol using timed Petri nets

Performance specification and livelock detection/correction of a protocol using timed Petri nets

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).<<ETX>>

V. Gehlot

[1] Michel Diaz,et al. Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models , 1982, Comput. Networks.

[2] Joseph Sifakis,et al. Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[3] Gérard Berthelot,et al. Petri Nets Theory for the Correctness of Protocols , 1982, PSTV.

[4] Kumkum Garg. An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets , 1985, IEEE Transactions on Software Engineering.