Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets.

Published in: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)