Gerard Florin, Claude Kaiser, Stéphane Natkin. Petri net models of a distributed election protocol on a unidirectional ring. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings]. Volume 483 of Lecture Notes in Computer Science, pages 287-312, Springer, 1989.
Abstract is missing.