1996-05-22Buch
Petri Net Based Verification of Distributed Algorithms
An Example
Kindler, Ekkart; Reisig, Wolfgang; Völzer, Hagen; Walter, Rolf
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 ...