Supervisory Control of Discrete Event Systems Using Petri Nets