For the most recent entries see the Petri Nets Newsletter.

Net-Theoretical Methods in Modelling by Byzantine Consensus Protocols in Agreement Problems.

Halkola, T.; Johansson, K.; Ojala, L.

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.

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

Back to the Petri Nets Bibliography