Supervisory Control of Discrete Event Systems Using Petri Nets (1998)

by J Moody, P Antsaklis