Compositional coordinator synthesis for discrete event systems