Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem | IEEE Journals & Magazine | IEEE Xplore