Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser (2006)

by M V Iordache, P J Antsaklis