Zuberek, W.M.
Proc. 2-nd European Workshop on Theory and Applications of Petri Nets; Bad Honnef, Germany, 28-30 September 1981, pp.555-568.
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 with the aid 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:
Petri nets, Le Lann's protocol, mutual exclusion, distributed control protocols.