Simulation of a novel leader election protocol with the use of Petri nets

Abstract

A novel leader election protocol for a distributed system is presented The proposed scheme is based on reliable multicast. The use of multicast will considerably simplify the protocol since the group members do not need to know each other's addresses to communicate. Another advantage of using multicast is that members do not have to make any reconfiguration if some members crash, join or leave the group. The paper describes the proposed protocol and discusses the results of the detailed simulation in terms of extended Petri nets.