Email Record: Supervisory Control of Discrete Event Systems Using Petri Nets /