Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems

From MaRDI portal