In: Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 1989, Champaign, IL, USA, pages 414-419. Piscataway, NJ, USA: IEEE Service Center, 1990.
Abstract: The use of predicate/transition nets is introduced to model and analyze the solutions of the consensus problem in fault-tolerant distributed systems. It is shown that by making a proper choice of the abstraction level, complicated communication and computation structures can be successfully modeled and analyzed using net-theoretical methods. The net models demonstrate the concurrency in solution protocols without any resource bounds. System properties like liveness are studied.
Keywords: Byzantine consensus protocol (in) agreement problem; predicate/transition net; fault-tolerant distributed system; liveness.