John O. Moody

Supervisory Control of Discrete Event Systems Using Petri Nets