Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems | IEEE Conference Publication | IEEE Xplore