Variations of Banker´s algorithm for highly flexible resource allocation systems

We show that the generic logic underlying the classical Banker´s algorithm (Habermann, 1969), is a very flexible and powerful tool for developing correct and computationally efficient deadlock avoidance policies for a broad variety of structural control applications arising in contemporary large-scale flexibly automated environments. Although we draw our examples from the manufacturing domain, it can be clearly seen that similar problems arise in the context of other technological applications, e.g., monorail transportation systems.