Supervisory Control of Discrete Event Systems... Supervisory Control of Discrete Event Systems Using Petri Nets English, Hardcover, Moody John O. 9780792381990