Petri net based verification of distributed algorithms: An example

DOI10.1007/BF01211299zbMath0889.68071MaRDI QIDQ1377301

Ekkart Kindler, Rolf Walter, Hagen Völzer, Wolfgang Reisig

Publication date: 2 June 1998

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

Petri netsdistributed algorithmsnetwork algorithmecho algorithm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Related Items (1)

Algebraic nets with flexible arcs

Uses Software

• UNITY
• PEP

Cites Work

• Proving nonreachability by modulo-invariants
• A principle for sequential reasoning about distributed algorithms
• Distributed network protocols
• A Distributed Algorithm for Minimum-Weight Spanning Trees
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Petri net based verification of distributed algorithms: An example