Maximally permissive mutually and globally nonblocking supervision with application to switching control
Keywords: سیستم های رویداد گسسته; Discrete event systems; Controllability; Nonblocking; Mutually nonblocking; Supervisory control;