For the most recent entries see the Petri Nets Newsletter.

Modelling and Analysis of the CES Protocol of H.245.

Liu, Lin; Billington, Jonathan

In: 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 95-114. 29-31 August 2001.

Abstract: This paper analyses part of ITU-T recommendation H.245, "Control protocol for multimedia communication". This is a pilot study of an ongoing project on modelling and analysing Internet multimedia communication standards with Coloured Petri Nets (CPNs). The Capability Exchange Signalling (CES) protocol of H.245 is modelled with CPNs. Analysis of the models shows that this protocol performs well in general, but some inadequacies also have been found. Firstly, this protocol could fail if the wrapping of the sequence numbers used by the protocol can happen, no matter whether the underlying medium of this protocol is reliable or not. Secondly, if the problem with sequence number wrap can be avoided, then, when the transport medium is unreliable, this protocol may be inefficient.

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

Back to the Petri Nets Bibliography