In: Proc. 2-nd European Workshop on Theory and Applications of Petri Nets (EWTAPN'81), Bad Honnef, Germany, pages 555-568. 1981.
Abstract: In 1977 Le Lann proposed a protocol for achieving mutual exclusion in a ring-structured distributed control systems. In 1980 Pajak pointed out that Le Lann's algorithm is insecure and can violate the mutual exclusiveness. The aim of this paper is to show how this violation can be detected systematically by using of Petri nets. The presented approach can easily be applied to other communication protocols. Some remarks on an improved Le Lann's protocol are also given.
Keywords: Le Lann's protocol, Petri nets, distributed control protocols, mutual exclusion.