Kindler, E.E.KindlerReisig, W.W.ReisigVölzer, H.H.VölzerWalter, R.R.Walter2022-03-032022-03-031997https://publica.fraunhofer.de/handle/publica/19101310.1007/BF01211299A 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.encorrectnessdistributed algorithmsmodellingpetri nettemporal logicverification technique004005journal article