Petri net based verification of distributed algorithms: An example
| Author(s) : | Hagen Volzer Wolfgang Reisig Ekkart Kindler Rolf Walter, |
| Publisher : | N/A |
| Publication Date : | 1997 |
| ISSN : | N/A |
| Abstract : | 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 alogrithm, the echo algorithm., |