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

by J O Moody, P J Antsaklis