Supervisory Control of Concurrent Systems A Petri Net Structural Approach - Iordache, Marian V.; Antsaklis, Panos J. (Birkhäuser Boston, 2006)