Supervisory Control of Discrete Event Systems Using Petri Nets Moody John O. Innbundet / 1998 / Engelsk