For the most recent entries see the Petri Nets Newsletter.

Net-Theoretical Methods in Modelling Byzantine Consensus Protocol in Agreement Problems.

Halkola, Tapio; Johansson, Kaj; Ojala, Leo

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography