Rong Su 0001 Jan H. van Schuppen Jacobus E. Rooda Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems. 1237-1247 2012 48 Autom. 7 https://doi.org/10.1016/j.automatica.2012.04.004 db/journals/automatica/automatica48.html#SuSR12