Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (2006)

by M V Iordache, P J Antsaklis