Petri nets are good for protocols.

Jean-Pierre CourtiatJean-Michel AyacheB. Algayres
Published in: Comput. Commun. Rev. (1984)
Keyphrases