Maximally permissive distributed supervisory control of nondeterministic discrete-event systems | IEEE Conference Publication | IEEE Xplore