Options
1997
Journal Article
Titel
Petri net based verification of distributed algorithms
Titel Supplements
An example
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.