Petri Net Based Verification of Distributed Algorithms: An Example.

Ekkart Kindler Wolfgang Reisig Hagen Völzer Rolf Walter

Published in: Formal Aspects Comput. (1997)

Keyphrases

learning algorithm
optimization problems
computationally efficient
distributed computation
times faster
multi agent
cooperative
computational cost
machine learning algorithms
benchmark datasets
orders of magnitude
data mining algorithms
fault tolerant
communication cost