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