Petri nets are good for protocols.

Jean-Pierre Courtiat Jean-Michel Ayache B. Algayres

Published in: Comput. Commun. Rev. (1984)

Keyphrases

petri net
state machines
petri net model
discrete event systems
manufacturing systems
high level petri nets
fuzzy petri net
stochastic petri net
service composition
colored petri nets
ims ld
sequence diagrams
process model
programmable logic controller
concurrent processes