In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 154-173. 1989.
Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 483; Advances in Petri Nets 1990, pages 287-312. Berlin, Germany: Springer-Verlag, 1991.
Abstract: This paper is devoted to the performance analysis of an election protocol for a unidirectional ring proposed by C. Kaiser (1989). The authors give two models of increasing complexity in order to compute several performance criteria. The two models (called initiation model and evaluation model) are defined using coloured Petri nets. For these models several qualitative properties are proven. Then the required performance criteria are computed using an original computation method defined for nonrepetitive stochastic Petri nets.
Keywords: net models (of) distributed election protocol (on) unidirectional ring; performance analysis (of) election protocol(s); initiation model; evaluation model; coloured net; nonrepetitive stochastic net.