Jean-Pierre Courtiat Jean-Michel Ayache B. Algayres Petri nets are good for protocols. 66-74 1984 14 Computer Communication Review 2 http://doi.acm.org/10.1145/800056.802062 db/journals/ccr/ccr14.html#CourtiatAA84