For the most recent entries see the Petri Nets Newsletter.

Study of the Resynchronisation of a Communication Protocol.

Cousin, B.; Estraillier, P.

In: Technique et Science Informatiques, Vol. 6, No. 3, pages 243-253. 1987. In French.

Also in: Technology and Science of Informatics. 1987. English translation.

Abstract: An original modelling approach is applied, using Petri nets with predicates, to services offered by the network layer of the OSI model during the data transfer phase. Special attention is paid to the treatment of failures of network stations, with description of the mechanism of transmission resynchronisation. The minimal model is validated functionally to the extent that its properties are equated to those which define the service.

Keywords: resynchronisation (of) >communication protocol; OSI model; data transfer; failures (of) network station; transmission resynchronisation.

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

Back to the Petri Nets Bibliography