M.-L..Benalycherif, C..Girault Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Coloured FIFO Nets L'objet de cet article est la compositionalité de la vivacité pour la synchronisation de deux réseaux à files colorés. L'opérateur de composition permet la fusion de transitions ainsi que celle de places et de files adjacentes. Une condition comportementale suffisant à la compositionalité de la vivacité repose sur une relation mutuelle de non contraignance entre les réseaux composants. Une condition structurelle suffisant à la préservation de la vi­ vacité par synchronisation est alors exprimée. Nous considérons des réseaux composants dont l'interface des éléments fusionnés avec ceux non fusionnés est une machine à états. La condition nécessite que les transitions colorées en conflit dans les ma­ chines à états d'interface satisfassent la relation structurelle de blocage ou celle de libération. En dernier lieu, un exemple montre comment ces conditions sim­ plifient l'analyse d'un protocole au sein d'une architecture en couches. This paper deals with the compositionality of liveness when syn­ chronizing two coloured FIFO nets. The composition operator al­ lows to merge transitions as well as some adjacent places or queues. A behavioural sufficient condition for liveness compositionality relies on a mutual non constraining relation between component nets. A structural sufficient condition for synchronization preserving liveness is then given in the case of a state machine at the in­ terface of the merged elements with the non merged ones of each component net. It requires that the conflictual coloured transi­ tions of the interface state machines satisfy the structural freeing or blocking relations. Finally an example shows how these conditions simplify the anal­ ysis of a protocol within a layered architecture.