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

A novel leader election protocol for a distributed system is presented. The proposed scheme is based on reliable multicast. The use of multicast considerably simplifies the protocol since the group members do not need to know each others 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.