Petri net based verification of distributed algorithms: An example
Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter · Formal Aspects of Computing · 1997
Abstract 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 .