Petri Net Based Verification of Distributed Algorithms
Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter · edoc Publication server (Humboldt University of Berlin) · 1996
A technique to describe and to verify distributed algorithms is suggested. This technique (based on Petri nets) reduces the modelling- and analysis effort to a reasonable expenditure. The paper outlines the technique along a typical network algorithm, the echo algorithm.