Petri Net Based Verification of Distributed Algorithms
- Kindler, Ekkart
- Reisig, Wolfgang
- Völzer, Hagen
- Walter, Rolf
Publication date
May 1996
DOI Publisher
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik Journal
issn:0863-095XAbstract
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
Add to ORKG