Supervisory Control of Discrete-Event Systems with Output by Pedram Mahdavinezhad