Supervisory Control of Concurrent Systems: A Petri net structural approach. Birkhäuser (2006)

by M V Iordache, P J Antsaklis