Supervisory Control of Discrete Event Systems Using Petri NetsJohn O. Moody, Panos J. Antsaklis₹11,551