Petri net based verification of distributed algorithms

A technique to model and to verify distributed algorithms is suggested. This technique (based on Petri Nets) reduces the modelling and analysis effort to a reasonable level. The paper outlines the technique using the example of a typical network algorithm, the echo algorithm.