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.