Gérard Berthelot, Richard Terrat Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:251-257 [Conf]