Technical Report; Series A, No. 9, pages 1-30 pp.. Espoo, Finland: Helsinki Unversity of Technology, Digital Systems Laboratory, December 1988.
Abstract: To model and analyze the solutions of the Consensus Problem in fault tolerant distributed systems, the use of predicate/transition nets is introduced. The net models developed demonstrate especially the concurrency and symmetry properties in solution protocols. System properties such as liveness have been studied using net-theoretical methods.
Keywords: predicate/transition net; fault tolerant system; Byzantine consensus protocol; agreement problem.