Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems

From MaRDI portal