Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés