Result: Petri Net Based Verification of Distributed Algorithms ; An Example
Title:
Petri Net Based Verification of Distributed Algorithms ; An Example
Authors:
Publisher Information:
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
Publication Year:
1996
Collection:
Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server
Subject Terms:
Document Type:
Book
book
File Description:
application/pdf
Language:
English
Relation:
DOI:
10.18452/2492
Availability:
Accession Number:
edsbas.D97E425B
Database:
BASE
Further information
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.