Petri nets are good for protocols

Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres. Petri nets are good for protocols. Computer Communication Review, 14(2):66-74, 1984. [doi]

Abstract

Abstract is missing.