Requirement Analysis for Communication Protocols. - Pierre Azéma; François Vernadat 001; Jean Christophe Lloret (Automatic Verification Methods for Finite State Systems, 1989)

Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. - Pierre Azéma; François Vernadat 001; Jean Christophe Lloret (SPLT, 1989)

Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. - Jean Christophe Lloret; Pierre Azéma; François Vernadat 001 (CAV, 1990)

Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial Tool. - Jean Christophe Lloret; J. L. Roux; B. Algayres; M. Chamontin (Application and Theory of Petri Nets, 1992)