Text this: Supervisory Control of Discrete Event Systems Using Petri Nets /