Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets. - Gérard Berthelot; Richard Terrat (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Petri Nets Theory for the Correctness of Protocols. - Gérard Berthelot; Richard Terrat (IEEE Trans. Commun., 1982)

Pregroup Grammars for Chords. - Richard Terrat (ISMIR, 2004)