Title: Supervisor synthesis for discrete event processes